SOLUTION: Can you prove/show that the following is a tautology, without using a truth table: [(p v q) ^ (p -> r) ^ (q -> r)] -> r

SOLUTION: Can you prove/show that the following is a tautology, without using a truth table: [(p v q) ^ (p -> r) ^ (q -> r)] -> r

Algebra.Com

Question 761162: Can you prove/show that the following is a tautology, without using a truth table: [(p v q) ^ (p -> r) ^ (q -> r)] -> r
Answer by MathLover1(20849) (Show Source): You can put this solution on YOUR website!

go to http://www.rci.rutgers.edu/~cfs/472_html/Logic_KR/proplogic_proofs472.html
scroll down to
"A Semantic Proof"
RELATED QUESTIONS
Construct a truth table for ( p ---> ~ r ) v ( ~ q ^ r ) (answered by Solver92311,Edwin McCravy)

whether (~p disjunction (p-->q))-->~q is a tautology without using truth table? (answered by Edwin McCravy)

For each of the following cases, without using a truth table, write down the condition(s) (answered by solver91311)

Construct a truth table for a. (p V q)-> (r ^ S) b. (q-> ~p) V ( r<-> s) (answered by stanbon,mommom)

Use truth tables to determine if the following arguments are valid. a) p-> (q V r) p (answered by solver91311)

Let p, q, and r represent the following statements. p: Jamie is on the train q:... (answered by Theo)

construct a truth table for the statement. q v (p-->... (answered by Theo)

Explain, without using a truth table, while the statement (p ∨ ¬q) ∧ (q ∨ ¬r) ∧ (answered by Edwin McCravy)

Given p is true, q is true, and r is false, find the truth value of the statement. Please (answered by solver91311)