The Student Room Group

Deriving statements using logical equivalences

How do I derive (P implies (Q implies P))

The solution starts with (Q and ( not P)) and I don't know why :frown:
Original post by Lunu
How do I derive (P implies (Q implies P))

The solution starts with (Q and ( not P)) and I don't know why :frown:


Do you know that pqp \Rightarrow q is defined as ¬(p¬q) \neg(p \land \neg q) ?

Translate p(qp) p \Rightarrow (q \Rightarrow p) into these terms and see where you get.

Alternatively, write out the truth table.

Quick Reply

Latest