Soru: p: "Bir sayı asaldır" ve q: "Sayı 2'den büyüktür" olsun. p ⇒ q ifadesinin doğruluk değerini inceleyin ve örneklerle açıklayın.
Çözüm: p ⇒ q, "Bir sayı asal ise, sayı 2'den büyüktür" anlamına gelir. Bu ifade yanlıştır çünkü 2 asal bir sayıdır (p doğru), ama 2, 2'den büyük değildir (q yanlış). p doğru ve q yanlış olduğu için p ⇒ q yanlıştır. Diğer asal sayılar için (örneğin 3, 5) p ve q both doğru olduğundan p ⇒ q doğru olurdu, ama tek bir karşı örnek (2) bile ifadenin genel olarak yanlış olduğunu gösterir.
