1. If I can assume "not P" and derive "not Q", I have completed
an indirect proof of the statement "P → Q".
T/F? Why?
2. If I want to prove "P → (x XOR NOT y)", it suffices to prove
"P → (x AND y)".
T/F? Why?
3. Suppose I assume "A" and derive "B". Then I start over,
assume "not B", and derive a contradiction. Then I may conclude
that A is a tautology.
T/F? Why?
4. Suppose...