SOLUTION: What is the proof for
((P→Q)→Q)→(P∨Q)
Algebra.Com
Question 251757: What is the proof for
((P→Q)→Q)→(P∨Q)
Answer by drk(1908) (Show Source): You can put this solution on YOUR website!
To solve this you may need a tautology table, or memorize it.
P big space Q big space P->Q big space PvQ
T big space T big space T big space T
T big space F big space F big space T
F big space T big space T big space T
F big space F big space T big space F
Now, P->Q {T, F, T, T}
(P->Q) -> Q {T, T, T, F}
(P->Q) -> Q -> (PvQ) { T, T, T, T}
A bit tough to follow I think, but there it is.
RELATED QUESTIONS
Construct a truth table for ~q → (p ∨ q) (answered by MathLover1)
Construct a truth table for (p ∨ q) →~q (answered by MathLover1)
Use truth tables to test the validity of the argument.
p → ~q
q → ~p... (answered by jim_thompson5910)
write a direct proof using the eight rules of inference
(C → Q) • (~L →... (answered by Edwin McCravy)
Is this a valid argument, what is the solution.
(p→q)→r
~p V q
________
(answered by Edwin McCravy)
What is the truth table for ( p˅q) → (p^q)?
What is the truth table for... (answered by Theo)
~M, (~M • ~N) → (Q → P), P → R, ~N, therefore, Q →... (answered by math_helper)
Construct Conditional Proofs
1. P → Q
2. (P • Q) → R
3. P → (R... (answered by jim_thompson5910)
1. ~P∨Q
2. Q→R ∴ P→R
1. R∨~Q
2. P→Q
3. ~R (answered by Edwin McCravy)