Accions

Recurs

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

De Wikisofia

m (Text de reemplaçament - "File:i" a "File:e")
 
Línia 1: Línia 1:
 
{{RecursWiki
 
{{RecursWiki
 
|Tipus=Exemple
 
|Tipus=Exemple
}}
 
{{RecursoEnlace
 
|Enllaç=
 
}}
 
{{Multimèdia
 
|Upload Type=
 
|File=
 
|Embed=
 
 
}}
 
}}
 
{{RecursBase
 
{{RecursBase
Línia 23: Línia 15:
  
 
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.