Prove that simple conditional statement is tautology

93 Views Asked by At

This should be pretty easy, but I don't know how to turn the conditional statement into a tauntology.

The statement is:

$$ (p \land q) \to p$$

I am able to turn it into:

$$ (\lnot p \lor \lnot q) \lor p$$

But now what?

1

There are 1 best solutions below

4
On BEST ANSWER

Continue:

$$\begin{align} (\lnot p \lor \lnot q) \lor p &\equiv p \lor (\lnot p \lor \lnot q) \\ & \equiv (p \lor \lnot p) \lor \lnot q \\ & \equiv \top \lor \lnot q \\ &\equiv \top \end{align}$$