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
|