Solution for Section 1.2 Question 7

7. The statement "p if, and only if, q" can be written symbolically as  p iff.jpg (642 bytes) q  which is equivalent to  (p implies.jpg (563 bytes) q) L (q  implies.jpg (563 bytes) p).  Two possible answers to this question are:

p if, and only if, q is the same as p implies q and q implies p.

p if, and only if, q is the same as if p then q and if q then p.

Back to Section 1.2