Construct proofs using the eight rules of inference

Using the eight rules of inference (Simplication, Conjunction, Addition, Constructive Dilemma, Modus Ponens, Modus Tollens, Disjunctive Syllogism and Hypothetical Syllogism), construct a proof for each of the following valid arguments.

A)
1. (C & ~E) > (E v T) ------- Premise
2. C ------- Premise
3. ~E / T ------- Premise / Conclusion

B)
1. (R v P) > (G v M) ------- Premise
2. R & U ------- Premise
3. (G > E) & (M > F) ------- Premise
4. (E v F) > C / C ------- Premise / Conclusion

C)
1. (P v S) > (L > R) & (I > M) ------- Premise
2. (P v N) > (L v I) ------- Premise
3. (P & W) / (R v M) ------- Premise / Conclusion

© SolutionLibrary Inc. solutionlibary.com October 31, 2020, 8:22 pm 9836dcf9d7 https://solutionlibrary.com/math/logic/construct-proofs-using-the-eight-rules-of-inference-j868