Accions

Recurs

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...».)
(dif.) ← Versió més antiga | Versió actual (dif.) | Versió més nova → (dif.)

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ó.


Fitxer:I3507-1.gif Plantilla:Propietat