Show that p q q r pr without using truth table as in dis

Show that [ (p -> q) ^ (q ->r)] -> (p->r) without using truth table. as in discrete math 7th edition chap 1.3 , 12 (b)

Solution

(pq)(qr)(pr)(pq)(qr)(pr)

pq)(¬qr)(pr)(¬pq)(¬qr)(pr)

((¬pqq)((¬pq)r)(pr)((¬pq)¬q)((¬pq)r)(pr)

((¬p¬q)(q¬q))((¬pr)(qr))(pr)((¬p¬q)(q¬q))((¬pr)(qr))(pr)

p¬q)((¬pr)(qr))(pr)

Show that [ (p -> q) ^ (q ->r)] -> (p->r) without using truth table. as in discrete math 7th edition chap 1.3 , 12 (b)Solution (pq)(qr)(pr)(pq)(qr)(

Get Help Now

Submit a Take Down Notice

Tutor
Tutor: Dr Jack
Most rated tutor on our site