kunt u daaruit afleiden, als B volgt uit A, en A volgt uit B, dan A als en alleen als B.
Bijvoorbeeld, uit de uitspraken "als ik adem, dan leef ik" en "als ik leef, dan adem ik", kan daaruit worden afgeleid dat "ik adem als en slechts als ik" m levend "of, even onterecht," Ik leef alleen en alleen als ik ademhaal. "
B → A
A → B
∴ A ↔ B
B → A
A → B
∴ B ↔ A
|
