You have 3 hours to complete this part of your exam.
You may use all 8 rules of implication, all 10 rules of replacement, conditional proof, and indirect proof to solve the following problems. Remember that any valid argument can be proven using CP or IP and you can use multiple subproofs in any proof:
- (10 points)
1. F (J F)
2. J (L J) / F L - (20 points)
1. S (B T)
2. N (T B) / (S • N) B - (20 points)
1. (P F) (A D)
2. A (M • P)
3. D (C • P) / P - Bonus Question (20 points)
Use direct or indirect truth table method to prove that the following argument is invalid:
P J
(J • P)
J P
Sample Solution