Next:
sb
, Previous:
dn
, Up:
Equivalence Rules
6.2.9 Exportation
(P ^ Q) → R <=> P → (Q → R)