Diferència entre revisions de la pàgina «Exemple de fórmula tancada»
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 tancada |I...».) |
(Cap diferència)
|
Revisió del 10:12, 5 feb 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia [math]\displaystyle{ \exists{x}(Fx \rightarrow{}Gx) }[/math] és una fórmula tancada i un enunciat.
[math]\displaystyle{ \forall{x} \exists{x}(Pxy) }[/math] és una fórmula tancada i un enunciat
[math]\displaystyle{ Qx, Pxy }[/math] són fórmules obertes.
[math]\displaystyle{ \forall{x} (Py\rightarrow{Qx}) }[/math] és una fórmula oberta: la segona x cau fora de l'abast del quantificador; no és idèntica a la qual li segueix immediatament. Plantilla:Propietat