Totoloji olduğunu nasıl anlarız?
Bir bileşik önerme, önermeyi oluşturan önermelerin tüm doğruluk değerleri için her zaman 1 oluyorsa bu önermeye totoloji denir. Bir bileşik önermenin totoloji olduğunu göstermek için sadeleştirme yöntemi ya da bir doğruluk tablosu ile doğruluk değerinin her zaman 1 olduğunu göstermemiz gerekir.
Bir bileşik önerme, önermeyi oluşturan önermelerin tüm doğruluk değerleri için her zaman 1 oluyorsa bu önermeye totoloji denir. Bir bileşik önermenin totoloji olduğunu göstermek için sadeleştirme yöntemi ya da bir doğruluk tablosu ile doğruluk değerinin her zaman 1 olduğunu göstermemiz gerekir.