SOLUTION: Present a formal proof in logic, using the laws of inference to reace the conclusion. P-->A G-->~R A-->R G v H P ------ Therefore : H

Question 174925This question is from textbook Integrated Mathematics
: Present a formal proof in logic, using the laws of inference to reace the conclusion.
P-->A
G-->~R
A-->R
G v H
P
------
Therefore : H This question is from textbook Integrated Mathematics

Answer by EMStelley(208) (Show Source): You can put this solution on YOUR website!
This may not be the most eloquent proof, and I'm sure there are many others, but here is one version that works:
Since G -> ~R we have that R -> ~G.
Since P -> A and A -> R and R -> ~G, we have P -> ~G. Since G V H and P is true, then H must be true. (Not G is true, so to make G V H true, H must be true). Hope this helps!
RELATED QUESTIONS
Construct a formal proof for the following argument 1. P>R 2. (Q&P)vP... (answered by Edwin McCravy)

write a direct proof using the eight rules of inference ~M, (~M � ~N) → (Q... (answered by solver91311)

Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)

I need help with constructing this proof. Can you help me? Use the laws of inference... (answered by solver91311)

write a direct proof using the eight rules of inference (C → Q) � (~L →... (answered by Edwin McCravy)

What is the Formal Proof for P v (Q ^... (answered by lynnlo)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)

Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)