SOLUTION: I need help completing this proof.
1. R&S, S->(P->Q), Q->P |- P<->Q
Algebra.Com
Question 633618: I need help completing this proof.
1. R&S, S->(P->Q), Q->P |- P<->Q
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!
Premise
\ \ )
Premise
Premise
Prove: 
From 1 by Conjunction Elimination
From 2 by Modus Ponens
From 3 and 5 by Biconditional Introduction
John
My calculator said it, I believe it, that settles it
RELATED QUESTIONS
I need help completing this proof for my deductive logic class?
1. (O . P)--> Q
2. (answered by jim_thompson5910)
I need help finishing this proof.
(P . Q) -> (R v S) :. (P -> R) v (Q -> S)
1. (P . (answered by jim_thompson5910)
I need help finishing this proof.
(P . Q) -> (R v S) :. (P -> R) v (Q -> S)
1. (P . (answered by jim_thompson5910)
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)
I need help solving this proof.
P,QvR,~RvS,~Q |- P&S
1 (1) P A
2 (2) QvR A
3... (answered by jim_thompson5910)
p/q=r/s Solve for... (answered by ikleyn)
I need the following proof :) PLEASE. I am struggling...
1. P-> (~Q & R)
2. (Qv~R)... (answered by Edwin McCravy)
write a direct proof using the eight rules of inference
(C → Q) • (~L →... (answered by Edwin McCravy)
