Soru: p: "Sayı çifttir" ve q: "Sayı 2'ye tam bölünür" olsun. p ⇒ q ifadesinin anlamını açıklayın ve bir örnekle doğruluğunu gösterin.
Çözüm: p ⇒ q, "Sayı çift ise, sayı 2'ye tam bölünür" anlamına gelir. Örneğin, sayı 4 olsun. 4 çift olduğu için p doğru, ve 4 ÷ 2 = 2 (tam bölündüğü için) q da doğrudur. Bu nedenle p ⇒ q doğrudur. Eğer sayı 3 olsaydı, p yanlış olurdu, ama p ⇒ q yine de doğru kabul edilir çünkü 'ise' bağlacında öncül yanlışsa sonuç ne olursa olsun ifade doğrudur.
