| 1 |
Doğruluk Tablosu |
| 2 |
Doğruluk Tablosu yöntemiyle geçerlilik-tutarlılık denetleme |
| 3 |
Doğruluk Tablosu yöntemiyle özdeşlik denetleme |
| 4 |
Quine yöntemiyle geçerlilik-tutarlılık denetleme |
| 5 |
Saçmaya İndirgeme yöntemiyle geçerlilik-tutarlılık denetleme |
| 6 |
Tam Normal Biçime İndirgeme yöntemiyle geçerlilik |
| 7 |
Çok Değerli Mantık |
| 8 |
Lukasiewicz-Tarski Notasyonu |
| 9 |
Lukasiewicz-Tarski Notasyonu’nda döndürme işlemi |
| 10 |
Lukasiewicz-Tarski Notasyonu’nda döndürme işlemi |
| 11 |
Lukasiewicz-Tarski Notasyonu ile geçerlilik-tutarlılık denetleme yöntemi |
| 12 |
Çok Değerli Mantık ve Lukasiewicz-Tarski Notasyonu ile geçerlilik, tutarlılık denetleme yöntemi |
| 13 |
Bağdaşmazlık |
| 14 |
Modalite |
