SOLUTION: Please help me solve this proof: ~C⇔A, (F^H)∨~C, ~(A∨B) /(therefore) F^~B. Thank you!

Algebra ->  Proofs -> SOLUTION: Please help me solve this proof: ~C⇔A, (F^H)∨~C, ~(A∨B) /(therefore) F^~B. Thank you!      Log On


   

Question 361802: Please help me solve this proof: ~C⇔A, (F^H)∨~C, ~(A∨B) /(therefore) F^~B. Thank you!
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


Start with:



From which we can deduce both:



and



But since:



we know that:



And since:



we are certain



From which we can deduce



But we already demonstrated



Therefore




John

My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism