Lògica: exemple de tautologia i contradicció

[math]\displaystyle{ (p \wedge q)\rightarrow{p} }[/math]

és una tautologia;

[math]\displaystyle{ ¬[(p \wedge q)\rightarrow{p}] }[/math]

és una contradicció.