GNU Aris Manual: ep

Next: sb, Previous: dn, Up: Equivalence Rules [Contents]

6.2.9 Exportation

(P ^ Q) → R <=> P → (Q → R)

This is one of the few equivalence rules that deals with conditionals.

AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: