Next: dm, Up: Equivalence Rules [Contents]
Implication uses the definition of the conditional. It is also valid to claim something such as ~(~P v Q) v (~R v S) <=> (P → Q) → (R → S), because implication is recursive.