laat toe om een conditionele af te leiden van een biconditional: als (A ↔ B) waar is, dan kan men één richting van de biconditional afleiden, (A → B) en (B → A).
Bijvoorbeeld, als het waar is dat ik adem als en alleen als ik leef, dan is het waar dat als ik adem, ik leef; evenzo is het waar dat als ik leef, ik ademhaal.
Formeel:
(A ↔ B)
∴ (A → B)
ook
(A ↔ B)
∴ (B → A)
|
