> Ancak ve ancak bağlacı
(⇔) ile gösterilir.
> p ve q herhangi iki
önerme olmak üzere;
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p) önermesi “İKİ YÖNLÜ” (KOŞULLU) önermedir.
* * p ve q aynı değerleri alırsa önerme DOĞRU,
* * p ve q farklı değerleri alırsa önerme YANLIŞ
olur.
Böylelikle p ve q değerleri aşağıdaki değerleri
alırsa;
1 ⇔ 1 ≡ 1
1 ⇔ 0 ≡ 0
0 ⇔ 1 ≡ 0
0 ⇔ 0 ≡ 1 olacaktır.
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
≡ (p' ∨ q) ∧ (q' ∨ p)
