SOLUTION: Q∨P
R→~P
R→Q
Here is what I put but I have not been able to pass correctly. Feedback is the proof solution is wrong. Any help would be great.
Solution
Algebra.Com
Question 1006581: Q∨P
R→~P
R→Q
Here is what I put but I have not been able to pass correctly. Feedback is the proof solution is wrong. Any help would be great.
Solution
1) Q∨P
2) R→~P
3) Q (SIMP 1)
4) P (SIMP 2)
5) R (MP 2, 4)
6) R→Q (HS 3, 5)
Simplifying 1, we derive lines 3 and 4. Line 5 comes about as a natural deduction of line 2 and 4. Using DS rule, we derive line 6 from line 3 and 5.
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Simplification only works if you have a conjunction. NOT a disjunction.
Here is how to do the derivation
1) Q v P (given premise)
2) R -> ~P (given premise)
:. R -> Q (what we want to derive)
----------------------------------
3) P v Q (1, commutation)
4) ~~P v Q (3, double negation)
5) ~P -> Q (4, Material Implication)
6) R -> Q (2,5, hypothetical syllogism)
RELATED QUESTIONS
What is the proof for
((P→Q)→Q)→(P∨Q) (answered by drk)
write a direct proof using the eight rules of inference
(C → Q) • (~L →... (answered by Edwin McCravy)
I have to make the following compound statement into a truth table and i do not... (answered by AnlytcPhil)
1. (Q∨R)→(W∨U)
2. W→P
3. Q∙T
4. U→Z
5. S→M
(answered by jim_thompson5910)
looking for help on why the argument is or is not valid on these two. Can anyone help... (answered by solver91311)
Is this a valid argument, what is the solution.
(p→q)→r
~p V q
________
(answered by Edwin McCravy)
I could sure use some help with this problem. Math is not a subject that i find very easy (answered by MathLover1)
There is a correction in this question. How do you make a venn diagram to test the... (answered by addingup)
Construct Conditional Proofs
1. P → Q
2. (P • Q) → R
3. P → (R... (answered by jim_thompson5910)