Diferència entre revisions de la pàgina «Lògica: exemple de tautologia i contradicció»
De Wikisofia
m (Text de reemplaçament - "File:i" a "File:e") |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 25: | Línia 17: | ||
[[File:e3507-1.gif]] | [[File:e3507-1.gif]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 14:15, 5 set 2015
[math]\displaystyle{ (p \wedge q)\rightarrow{p} }[/math]
és una tautologia;
[math]\displaystyle{ ¬[(p \wedge q)\rightarrow{p}] }[/math]
és una contradicció.
