Next: dn, Previous: dt, Up: Equivalence Rules [Contents]
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.