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...».) |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 26: | Línia 18: | ||
<math> \forall{x} (Py\rightarrow{Qx})</math> | <math> \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. | é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. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 13:49, 5 set 2015
[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.