SOLUTION: I need to use proofs to derive the conclusion but I am not sure if I should use MP, or DS 1. (Q ⊃~J) ⊃ (M ⊃~D) 2. Q ⊃M 3. M ⊃ ~J/Q ⊃ ~D

Algebra.Com
Question 1171798: I need to use proofs to derive the conclusion but I am not sure if I should use MP, or DS
1. (Q ⊃~J) ⊃ (M ⊃~D)
2. Q ⊃M
3. M ⊃ ~J/Q ⊃ ~D

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
1. (Q ⊃ ~J) ⊃ (M ⊃ ~D)
2. Q ⊃ M
3. M ⊃ ~J            /Q ⊃ ~D

4. Q ⊃ ~J       2,3, Hypothetical Syllogism | Must Learn:[(p⊃q)&(q⊃r)]⊃(p⊃r)
5. M ⊃ ~D       1,4, Modus Ponens           | Must learn:[(p⊃q)&p]⊃q

It's common sense that if the first thing implies the second thing, and the
second thing implies the third thing, then the first thing implies the third
thing. That's hypothetical syllogism.

It's common sense that if the first thing implies the second thing, and you know
the first thing is true, then you know the second thing is also true. That's
modus ponens.

Logic is plain old common sense.  You just have to learn how to read it, and
the names for the bits of common sense.

Edwin

RELATED QUESTIONS

Use the inference rules, replacement rules, indirect proof, or conditional proof to... (answered by Edwin McCravy)
1) (Q ⊃~J) ⊃ (M ⊃~D) 2) Q ⊃M 3) M ⊃ ~J/Q ⊃ ~D I am trying to figure... (answered by math_helper)
I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)
Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)
Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)
Q∨P R→~P R→Q Here is what I put but I have not been able to pass... (answered by jim_thompson5910)
1. (Q ⊃~J) ⊃ (M ⊃~D) 2. Q ⊃M 3. M ⊃ ~J/Q ⊃ ~D I am at a complete lost... (answered by math_tutor2020,Edwin McCravy)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)