Lògica: exemple de tautologia i contradicció
De Wikisofia
La revisió el 10:16, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Lògica: exemple de tautologia...».)
La revisió el 10:16, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Lògica: exemple de tautologia...».)
Plantilla:RecursoEnlace Plantilla:Multimèdia [math]\displaystyle{ (p \wedge q)\rightarrow{p} }[/math]
és una tautologia;
[math]\displaystyle{ ¬[(p \wedge q)\rightarrow{p}] }[/math]
és una contradicció.