Logichard
0:00.0

Is the statement (PlandQ)rightarrowP(P \\land Q) \\rightarrow P a tautology?