Diferència entre revisions de la pàgina «Lògica: exemple de tautologia i contradicció»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Lògica: exemple de tautologia...».) |
m (Text de reemplaçament - "File:i" a "File:e") |
||
Línia 24: | Línia 24: | ||
− | [[File: | + | [[File:e3507-1.gif]] |
{{Propietat | {{Propietat | ||
|Propi=No | |Propi=No |
Revisió del 15:40, 25 abr 2015
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ó.