Diferència entre revisions de la pàgina «Fórmula tancada»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} En els sistemes formals, aquella en la qual totes les seves variables apareixen ''lligades '' <div class='mw-colla...».) |
m (Text de reemplaçament - "[[aconsegueixi" a "[[abast") |
||
Línia 23: | Línia 23: | ||
1) segueix al quantificador universal <math> \forall{x}</math> o al quantificador existencial <math>\exists{x}<math> | 1) segueix al quantificador universal <math> \forall{x}</math> o al quantificador existencial <math>\exists{x}<math> | ||
− | 2) o cau dins de l'[[ | + | 2) o cau dins de l'[[abast|abast]] d'un [[quantificador|quantificador]], sent idèntica a la qual li segueix immediatament. |
{{Etiqueta | {{Etiqueta |
Revisió del 16:50, 12 abr 2015
En els sistemes formals, aquella en la qual totes les seves variables apareixen lligades
[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.
Una variable, x, apareix lligada si:
1) segueix al quantificador universal [math]\displaystyle{ \forall{x} }[/math] o al quantificador existencial <math>\exists{x}<math>
2) o cau dins de l'abast d'un quantificador, sent idèntica a la qual li segueix immediatament.