SOLUTION: 1. ~pVq
2. p /q
3.?????
I figured line 3 is: ~p . ~q 1,DM ?? Then line 4: q 2,3 DS....Probably way off. Help is much appreciated!
Algebra.Com
Question 608115: 1. ~pVq
2. p /q
3.?????
I figured line 3 is: ~p . ~q 1,DM ?? Then line 4: q 2,3 DS....Probably way off. Help is much appreciated!
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Start off by using double negation on line 2 to go from p to ~~p (and call this line 3)
Then use disjunctive syllogism on lines 1 and 3 to get q
RELATED QUESTIONS
1.(pVq)^[~(pVq)]
2.~(pâž¡(qâž¡(p^q)))
3.((~p)Vq)âž¡(pâž¡q)
4.((~q)âž¡(~p))âž¡(pâž¡q)
(answered by Edwin McCravy)
if p is false and q is false which statement is true?
1. pvq
2. p^q
3. ~p→q
4.... (answered by MathLover1)
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)
Q∨P
R→~P
R→Q
Here is what I put but I have not been able to pass... (answered by jim_thompson5910)
write a direct proof using the eight rules of inference
(C → Q) • (~L →... (answered by Edwin McCravy)
I need help finishing this proof.
(P<->Q)->R,P->Q,Q->P |-R
1 (1) (P<->Q)->R A
2 (2) (answered by jim_thompson5910)
1. p <--> q
2. p -> r
3. p -> (r -> s) Therefore q -> s
...so far I've tried... (answered by jim_thompson5910)
Write the statement in symbols using the p and q given below. Then construct a truth... (answered by swincher4391)
p-1 q-2
--------... (answered by chessace)