Accions

Recurs

Diferència entre revisions de la pàgina «Exemple de fórmula universalment vàlida per a tota assignació»

De Wikisofia

(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de fórmula universalme...».)
 
 
(Una revisió intermèdia per un altre usuari que no es mostra)
Línia 1: Línia 1:
 
{{RecursWiki
 
{{RecursWiki
 
|Tipus=Exemple
 
|Tipus=Exemple
}}
 
{{RecursoEnlace
 
|Enllaç=
 
}}
 
{{Multimèdia
 
|Upload Type=
 
|File=
 
|Embed=
 
 
}}
 
}}
 
{{RecursBase
 
{{RecursBase
Línia 20: Línia 12:
 
és una ''fórmula'' universalment vàlida:
 
és una ''fórmula'' universalment vàlida:
  
[[File:i1630-1.gif]]
+
[[File:e1630-1.gif]]
  
 
mentre que «ser o no ser» és un ''enunciat ''tautològic, o una tautologia.</center>
 
mentre que «ser o no ser» és un ''enunciat ''tautològic, o una tautologia.</center>
{{Propietat
 
|Propi=No
 
|Allow=No
 
|Accept=No
 
}}
 
 
{{InfoWiki}}
 
{{InfoWiki}}

Revisió de 13:49, 5 set 2015

[math]\displaystyle{ [(p \rightarrow{q})\wedge p]\rightarrow{q} }[/math]

és una fórmula universalment vàlida:

E1630-1.gif

mentre que «ser o no ser» és un enunciat tautològic, o una tautologia.