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

Öğrenme Çıktıları	PY.1	PY.2	PY.3	PY.4	PY.5	PY.6	PY.7	PY.8	PY.9	PY.10	PY.11	PY.12
Önerme ve doğruluk değeri kavramlarını öğrenerek, bunları mantık analizlerinde kullanabilme.	5	5	5	5	5	5	5	5	5	5	5	5
Önerme geçerliliği, tutarlılığı ve özdeşliklerini doğruluk tablosu yöntemiyle analiz edebilme.	5	5	5	5	5	5	5	5	5	5	5	5
Saçmaya indirgeme yöntemini kullanarak mantıksal ifadelerin geçerliliğini değerlendirme becerisi geliştirme.	5	5	5	5	5	5	5	5	5	5	5	5
Quine yöntemini öğrenerek, bu yöntemi mantıksal ifadelerin sadeleştirilmesi ve analizinde kullanabilme.	5	5	5	5	5	5	5	5	5	5	5	5
Mantıksal ifadeleri tam normal biçime indirgeme yöntemini öğrenerek, bu yöntemin analizlerdeki önemini kavrama.	5	5	5	5	5	5	5	5	5	5	5	5
Lukasiewicz-Tarski notasyonu ile yazılmış mantıksal ifadeleri çözümleyebilme ve doğruluk değerlerini hesaplayabilme.	5	5	5	5	5	5	5	5	5	5	5	5
Çok değerli mantık sistemlerini öğrenerek, bu sistemlerin klasik mantıktan farklılıklarını ve uygulamalarını değerlendirebilme.	5	5	5	5	5	5	5	5	5	5	5	5
Modal mantığın temel kavramlarını (zorunluluk, olanaklılık) anlayarak, bu kavramları felsefi ve mantıksal analizlerde kullanabilme.	5	5	5	5	5	5	5	5	5	5	5	5
Niceleme mantığındaki temel sembolleri ve uygulamaları öğrenerek, bu yöntemi analitik argüman çözümlemesinde kullanabilme.	5	5	5	5	5	5	5	5	5	5	5	5
Mantıksal açılım yöntemlerini öğrenerek, bu yöntemleri farklı mantıksal problemler ve argümanlar üzerinde uygulayabilme.	5	5	5	5	5	5	5	5	5	5	5	5