next up previous contents index
Next: Proving Up: Proof Previous: Proving Conditionals

Proving Biconditionals

There are three modes of proof for biconditional sentences.
  1. Prove tex2html_wrap_inline11770 and tex2html_wrap_inline12308.
  2. Prove tex2html_wrap_inline11770 and tex2html_wrap_inline12312.
  3. Provide an iff-string.

A word about the iff-string . We produce a string of equivalent sentences from P to Q. This is the Law of Syllogism from the list of tautologies.


droyster@math.uncc.edu