| Önerme ve doğruluk değeri kavramlarını öğrenerek, bunları mantık analizlerinde kullanabilme. |
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 |
|
|
|
|
|
| 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 |
|
|
|
|
|
| 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 |
|
|
|
|
|
| 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 |
|
|
|
|
|
| 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 |
|
|
|
|
|
| Ç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 |
|
|
|
|
|
| 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 |
|
|
|
|
|
| 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 |
|
|
|
|
|
| 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 |
|
|
|
|
|
