Next: , Up: Equivalence Rules


6.2.1 Implication

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.