SOLUTION: Setting up a prove in Fitch notation Premises: PvQ ~QvR Conclusion; PvR

Algebra ->  Proofs -> SOLUTION: Setting up a prove in Fitch notation Premises: PvQ ~QvR Conclusion; PvR      Log On


   

Question 1167696: Setting up a prove in Fitch notation
Premises:
PvQ
~QvR



Conclusion; PvR
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!

Prove by exhaustive cases.

Assume P, then P v R follows directly

Assume ~P, then Q follows from P v Q, but if Q, then ~Q v R implies R and therefore P v R.

John

My calculator said it, I believe it, that settles it


I > Ø