Demostra que cadascuna de les implicacions següents és una $\textbf{tautologia}$ construint la corresponent taula de veritat:
- $\neg p \land (p \lor q) \to q$
- $\bigl((p \to q) \land (q \to r)\bigr) \to (p \to r)$
- $\bigl(p \land (p \to q)\bigr) \to q$
- ç$\bigl((p \lor q) \land (p \to r) \land (q \to r)\bigr) \to r$
Us agrada:
M'agrada S'està carregant...