her zaman doğru olmayacak önermedir. aslında hiç zaman geçerliği olmayacak önermedir. çünkü p ise q, q ise p bir önerme değildir. ancak p ise q ve q ise p önerme olabilir. yada, p ise q yada q ise.
lise 1 matematiği mantık konusu repliğidir. bu hoca ne zırvalıyo ya derken bir de bakarsın ki çok kekmiş hemen bu konudan puanları kapmak gerekir çünkü akabinde gelicek olan fonksiyonlar ne analar ağlatmıştır.
matematiksel olarak notasyonla şu iki şekilde de gösterilebilecek önerme;
1) (p=>q)v(q=>p)
2) p<=>q
günlük hayatta da siyasetçiler tarafından çok kullanır. eğer p=>q önermesi doğruysa, q=>p önermesi de doğrudur derler, halbuki alakası yoktur; ikisinin de doğruluk değerleri birinden bağımsızdır, aynı da olabilir farklı da.