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 (bot: -veure exemple +veg. exemple) |
||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| Línia 3: | Línia 3: | ||
<div class='mw-collapsible mw-collapsed'> | <div class='mw-collapsible mw-collapsed'> | ||
| − | <center>''' | + | <center>'''veg. exemple ↓'''</center> |
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
| 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ó de 11:56, 22 ago 2017
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.