Question 1113758: I need help on this problem. I don't understand how to do proofs and I need all the help I can get. In the directions, it says, " Construct proofs to show the following symbolic arguments are valid. The comma marks the break between premises. " Here is the problem, that I need help on.
8. C-> (T->L), ~L, ~E->C, L v ~E :.~T
This the work I put on so far: 1. C -> (T ->L)
2. ~L
3. ~E->C
4. L v ~E
Answer by Edwin McCravy(20054)   (Show Source):
You can put this solution on YOUR website!
1. C -> (T -> L)
2. ~L
3. ~E -> C
4. L v ~E /~T
5. ~E 4,2 Disjunctive syllogism
6. C 3,5 Modus ponens
7. T -> L 1,6 Modus ponens
8. ~T 7,2 Modus tollens
Edwin
|
|
|
