Question 1206984: D ⊃ E
2. D v A
3. ~E / A
Found 3 solutions by Edwin McCravy, mccravyedwin, math_tutor2020:
Answer by Edwin McCravy(20055)   (Show Source):
You can put this solution on YOUR website!
1. D ⊃ E
2. D v A
3. ~E / A
|4. ~A Assumption for Indirect proof
|5. A v D 2, commutation
|6. D 5,4, disjunctive syllogism
|7. E 1,6, modus ponens
|8. E & ~E 7,3, conjunction
9. A lines 4-8 for Indirect Proof
Edwin
Answer by mccravyedwin(407)  (Show Source):
You can put this solution on YOUR website!
She's right. It was a typo I made in step 4.
I had a 2 there that should have been a 1.
I fixed it, in red below"
1. D ⊃ E
2. D v A
3. ~E / A
4. ~D 1,3, modus tollens
5. A 2,4, disjunctive syllogism
Edwin
Answer by math_tutor2020(3817)  (Show Source):
|
|
|
