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

Algebra ->  Proofs -> 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      Log On


   

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) About Me  (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!