Soru: p => (p veya q) ifadesinin totoloji olup olmadığını inceleyiniz.
Çözüm: Tüm olası p ve q değerleri için ifadenin doğruluğunu kontrol edelim. p doğru, q doğru: p veya q doğru, p=>doğru doğru. p doğru, q yanlış: p veya q doğru, p=>doğru doğru. p yanlış, q doğru: p veya q doğru, p=>doğru doğru. p yanlış, q yanlış: p veya q yanlış, p=>yanlış doğru (gerektirme öncül yanlışsa her zaman doğrudur). Tüm durumlarda ifade doğru çıktığı için bu bir totolojidir.
