SOLUTION: Prove by direct proof. (use rules of interference) 1. ~ A -> (C /\ D) 2. A -> B 3. ~B Prove: C.

Algebra ->  Proofs -> SOLUTION: Prove by direct proof. (use rules of interference) 1. ~ A -> (C /\ D) 2. A -> B 3. ~B Prove: C.      Log On


   

Question 1126615: Prove by direct proof. (use rules of interference)
1. ~ A -> (C /\ D)
2. A -> B
3. ~B
Prove: C.
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!

1.   ~A -> (C and D)

2.    A -> B

3.   ~B         |  C

4.   ~A            3,2 Modus Tollens

5.   C and D       4,1 Modus Ponens

6.   Therefore C   5   Simplification

John

My calculator said it, I believe it, that settles it