אם ורק אם – הבדלי גרסאות

==מאפיינים==

הקשר 'אם ורק אם' הוא [[קומוטטיביות|קומוטטיבי]] (הטענה <math>\ A\iff B</math> שקולה לטענה <math>\ B\iff A</math>) ו[[אסוציאטיביות|אסוציאטיבי]] (<math>\ (A\iff B)\iff C</math> אם ורק אם <math>\ A\iff (B\iff C)</math>).

* [[אם-אז|אם]] A [[אם-אז|אז]] B

* [[אם-אז|אם]] B [[אם-אז|אז]] A