SOLUTION: I need help completing this proof. 1. R&S, S->(P->Q), Q->P |- P<->Q

Algebra ->  Proofs -> SOLUTION: I need help completing this proof. 1. R&S, S->(P->Q), Q->P |- P<->Q       Log On


   

Question 633618: I need help completing this proof.
1. R&S, S->(P->Q), Q->P |- P<->Q
Answer by solver91311(24713) About Me  (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
The Out Campaign: Scarlet Letter of Atheism