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

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

Algebra.Com

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

Conclusion; PvR
Answer by solver91311(24713) (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 > Ø

RELATED QUESTIONS
Hello, I have a proof I am trying to write up with the following premises:... (answered by math_helper)

Construct a formal proof in fitch format for the following: 1. Premise: A->B... (answered by solver91311)

Select the conclusion that follows in a single step from the given premises. 1. ~(G • (answered by Edwin McCravy)

Hello, Can someone please help me. I submitted this problem yesterday and it due in... (answered by rapaljer)

Premises: 1. A ⊃ X 2. X ⊃ (B... (answered by math_helper)

I need help solving this proof, please help! Premises: 1. A ⊃ (B⊃C) 2. A & (answered by Edwin McCravy)

INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)

INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)

Write out the conclusion that follows in a single step from the given premises (please... (answered by math_helper)

write a valid conclusion for the given set of premises. if no valid conclusion is... (answered by chessace)