Soru: (p => q) veya (q => p) ifadesi her zaman totoloji midir? Doğruluk tablosu ile gösteriniz.
Çözüm: Tüm olasılıkları inceleyelim: p doğru, q doğru: p=>q doğru, q=>p doğru, (doğru veya doğru) doğru. p doğru, q yanlış: p=>q yanlış, q=>p doğru, (yanlış veya doğru) doğru. p yanlış, q doğru: p=>q doğru, q=>p yanlış, (doğru veya yanlış) doğru. p yanlış, q yanlış: p=>q doğru, q=>p doğru, (doğru veya doğru) doğru. Tüm durumlarda ifade doğru çıktığı için bu bir totolojidir.
