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

6.2.7 Equivalence

Equivalence uses the definition of the biconditional. Claiming that ‘P if and only if Q’ is exactly the same as claiming ‘if P then Q’ and ‘if Q then P’. Equivalence is the only rule that works with biconditionals explicitly, and is thus used any time a biconditional is seen.