Logicmedium
0:00.0

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