Logicmedium
0:00.0

Determine the truth value of the formula (PQ)    P(P \land Q) \implies P for all P,QP, Q.