Genel Bilgi Konu Başlıkları Yeterlilik İlişkisi Değerlendirme Sistemi Öğrenme Çıktıları Özgü Ölçüt Matrisi

Öğrenme Çıktıları	PÖÖ.1	PÖÖ.2	PÖÖ.3	PÖÖ.4	PÖÖ.5	PÖÖ.6	PÖÖ.7	PÖÖ.8	PÖÖ.9	PÖÖ.10
Önerme ve doğruluk değeri kavramlarını öğrenerek, mantık ve argüman analizinde kullanabilme.
Önerme geçerliliği, tutarlılığı ve özdeşlikleri doğruluk tablosu yöntemiyle değerlendirebilme.
Argümanların geçerliliğini test etmek için saçmaya indirgeme yöntemini kullanabilme.
Quine yöntemiyle mantıksal ifadeleri analiz edebilme ve çözümleme becerisi kazanma.
Mantıksal ifadeleri tam normal biçime indirgemeyi öğrenerek, bu yöntemin mantıksal analizdeki önemini kavrama.
Lukasiewicz-Tarski notasyonu ile yazılmış ifadeleri çözümleyerek, bu ifadelerin doğruluk değerlerini belirleyebilme.
Çok değerli mantık sistemlerini öğrenerek, klasik iki değerli mantığın sınırlarını ve alternatiflerini değerlendirebilme.
Modal mantığın temel kavramlarını (zorunluluk, olanaklılık) öğrenerek, bu sistemi felsefi ve matematiksel bağlamda uygulayabilme.
Niceleme mantığındaki temel gösterimleri (evrensel, tikel niceleyiciler) öğrenerek, bu yöntemi mantıksal argüman analizinde kullanabilme.
Mantıksal açılım yöntemlerini anlayarak, bu yöntemleri farklı mantıksal problemler üzerinde uygulayabilme.