Eight rules of inference


Assignment:

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

Provide complete and step by step solution for the question and show calculations and use formulas.

Solution Preview :

Prepared by a verified Expert
Mathematics: Eight rules of inference
Reference No:- TGS01912727

Now Priced at $30 (50% Discount)

Recommended (95%)

Rated (4.7/5)