Exemple de fórmula tancada
De Wikisofia
La revisió el 10:12, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
La revisió el 10:12, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
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