| Hafta | Konular |
| 1 |
Mantık nedir? Modern mantığın tarihçesi ve bölümleri
3. 4. 5.
7.
8.
10.
12. 13. 14.
|
| 2 |
Önermeler Mantığı
Önerme Eklemleri ve sembolleştirme; Değilleme eklemi; Tümel evetleme eklemi; tikel evetle eklemi; Bağdaşmazlık eklemi; Koşul (Şart) eklemi; Karşılıklı koşul (şart) eklemi
|
| 3 |
Çıkarımların sembolleştirilmesi; Önermelerin ana eklemlerinin tanımlanması; Sembolleştirmede parantezlerin rolü ve kullanılması; Bileşik önermelerin doğruluk değerinin hesaplanması
|
| 4 |
Doğuluk çizelgelerinin (tablolarının) kurulması; Doğruluk tablosu ile tutarlılık ve geçerlilik denetlemeleri; Doğruluk tablosu ile çıkarımların geçerlilik denetlemesi
|
| 5 |
Doğruluk tablosu ile önermelerin eşdeğerlilik denetlemesi; Eşdeğer önermelerin değiş tokuş, dönüştürme kuralları; Kısaltma
|
| 6 |
Çözümleyici Çizelge
6.Çözümleyici çizelge kuralları
|
| 7 |
Çözümleyici çizelge ile tutarlılık, geçerlilik, eşdeğerlilik denetlemeleri
|
| 8 |
Term Exam
|
| 9 |
Niceleme (yüklemler) mantığı
Niceleme mantığında temel tanımlar: tekil, basit önermeler; bileşik önermelerin semboleştirilmesi; terimler’in sembolleştirilmesi; terim ile önerme farkı;
|
| 10 |
Eşitliğe dayanan çıkarımların sembolleştirilmesi; eşitliğin değiş tokuş kuralı; kendisine eşit olmamanın imkânsızlığı kuralı:
|
| 11 |
Açık önermeler
Açık önerme, değişken, değişmez, evren, özelleme, gerçekleme, açılım
|
| 12 |
Niceleyiciler: tekil niceleme: tekil niceleme; genel niceleme; tümel niceleme: tikel niceleme
|
| 13 |
Niceleme mantığında çözümleyici çizelge kuralları
|
| 14 |
Niceleme Mantığında tutarlılık geçerlilik eşdeğerlilik denetlemeleri
|