P ⇒ q ve q ⇔ p aynı mı?
P ⇒ q ve q ⇔ p önermeleri aynı değildir. - P ⇒ q, koşullu bir önerme olup, "p ise q" şeklinde okunur ve doğruluk değeri 1 ise bu önermeye gerektirme denir. - q ⇔ p, iki yönlü koşullu önerme olup, "p ancak ve ancak q" şeklinde okunur ve önermelerin doğruluk değerleri aynı ise doğru, diğer durumlarda yanlış olur.
P ⇒ q ve q ⇔ p aynı mı?