Lògica: exemple de tautologia i contradicció
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
[math]\displaystyle{ (p \wedge q)\rightarrow{p} }[/math]
és una tautologia;
[math]\displaystyle{ ¬[(p \wedge q)\rightarrow{p}] }[/math]
és una contradicció.
