p ↔ q bileşik önermesinin doğruluk tablosu aşağıdaki gibidir:
p | q | p ↔ q
D | D | D
D | Y | Y
Y | D | Y
Y | Y | D
Bu tabloya göre çift gerektirme (p ↔ q) önermesi için aşağıdakilerden hangisi söylenebilir?
A) Her durumda doğru olduğu için totolojidir.
B) Her durumda yanlış olduğu için çelişkidir.
C) p ve q'nun aynı doğruluk değerine sahip olduğu durumlarda doğrudur.
D) Yalnızca p doğru iken doğrudur.
