Lògica: exemple de tautologia i contradicció

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

és una tautologia;

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

és una contradicció.