SOLUTION: 1. p>q 2. ~q /~p 3.?????? How do I get to the conclusion? I'm new at this and don't really understand it yet. I thought line 3 looked like this: 3. ~p 1,2, MT

SOLUTION: 1. p>q 2. ~q /~p 3.?????? How do I get to the conclusion? I'm new at this and don't really understand it yet. I thought line 3 looked like this: 3. ~p 1,2, MT

Algebra.Com

Question 608105: 1. p>q
2. ~q /~p
3.??????
How do I get to the conclusion? I'm new at this and don't really understand it yet. I thought line 3 looked like this: 3. ~p 1,2, MT
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
You are correct. You use Modus Tollens on lines 1 and 2 to get the conclusion. Nice work.
RELATED QUESTIONS
1. pV(q . r) 2. ~p /q . r How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, (answered by jim_thompson5910)

Suppose that the functions p and q are defined as follows. p(x)= 2x+1 q(x)= -x^2... (answered by josgarithmetic)

I saw that people can solve logic proofs on this site. I've looked everywhere for help.... (answered by Edwin McCravy)

Suppose P and Q' are subsets of U. n(U) = 15, n(P) = 6, and n(Q') = 4. Find a. n(p') b. (answered by ikleyn)

I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)

Please help me with this!...I do not understand how to get the other answers without... (answered by stanbon)

Can someone please help me with these truth tables? When I get my tax check I am... (answered by jim_thompson5910)

write the equation of the parabola in standard form. find the coordinates of points... (answered by stanbon)

5x^3-9x^2-17x-3 i have to solve this as follows: (a) By using the Rational Zero... (answered by stanbon)