Ünite 2: Önermelerin Geçerlilik, Tutarlılık ve Özdeşliklerinin Doğruluk Tablosu Yöntemiyle Denetlenmesi — Sınav Hazırlık Notları

• Geçerlilik tanımını karıştırmayın; bir ifadenin geçerli olması için tablonun ana sütununun tamamının 'doğru' olması şarttır.
• Tutarlılık için tüm tablonun doğru olması gerekmez; en az bir 'doğru' satırının olması tutarlı olması için yeterlidir.
• Çıkarım formuna dönüştürme kurallarına dikkat edin: virgül yerine 've' (⋀), sonuç işareti (∴) yerine 'ise' (→) yazılır.
• Geçerlilik ve tutarsızlık kavramlarının bir arada bulunamayacağını (bağdaşmaz olduklarını) asla unutmayın.
• Kıyas denetlemelerinde uzun tabloları çözmek yerine 'D → Y' durumunu aramak sınavda zaman kazandırır.
• Özdeşlik denetlemesinde önermeler arasına 'ancak ve ancak' (↔) konulur ve sonucun tüm satırlarda doğru çıkması gerekir.
• İşlem sırasına dikkat edin; parantezli ifadelerde her zaman en içteki özel parantezden başlanarak dışa doğru ilerlenir.