Örnek26: p: "3 asal sayıdır." q: "Asal sayılar pozitiftir." Yukarıda verilen önermelere göre, aşağıda verilen yargılardan hangileri doğrudur? p→q önermesinin karşıtı q→p dir. q➡p: "Asal sayılar pozitif ise 3 asal sayıdır. H. pq önermesinin tersi p'→q' dir. p'➡ q' : "3 pozitif ise asal sayı değildir. "O pq önermesinin karşıt tersi q' → p' dir. →>>> q' p': "Asal sayılar pozitif değil ise 3 asal sayı değildir." Yo- y. p q önermesinin karşıt tersi q' ⇒p' dir. q' p': "Asal sayılar negatif ise 3 asal sayı değildir."​