Overview
Prove the following two statements:
Use only the laws of logic (and not truth tables a. (P ? Q) ? Q is equivalent to P ? Q. b. (P ? Q) ? Q is equivalent to Q ? P.
Answer the following:
Why did you choose the method?
How did you apply problem solving in your proof?
What could you have improved upon?