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...».)
 
m (Text de reemplaçament - "File:i" a "File:e")
Línia 20: Línia 20:
 
é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>

Revisió del 15:40, 25 abr 2015

Plantilla:RecursoEnlace Plantilla:Multimèdia

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

Plantilla:Propietat