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 ->
Proofs
-> SOLUTION: Can you prove/show that the following is a tautology, without using a truth table: [(p v q) ^ (p -> r) ^ (q -> r)] -> r
Log On
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"
