¿Qué es?
No se ha añadido ninguna twiki todavía.
En los sistemas formales, aquella en la que todas sus variables aparecen ligadas
[math]\exists{x}(Fx \rightarrow{}Gx)[/math] es una fórmula cerrada y un enunciado.
[math] \forall{x} \exists{x}(Pxy)[/math] es una fórmula cerrada y un enunciado
[math]Qx, Pxy[/math] son fórmulas abiertas.
[math] \forall{x} (Py\rightarrow{Qx})[/math] es una fórmula abierta: la segunda x cae fuera del alcance del cuantificador; no es idéntica a la que le sigue inmediatamente.
Una variable, x, aparece ligada si:
1) sigue al cuantificador universal [math] \forall{x}[/math] o al cuantificador existencial [math]\exists{x}\ltmath\gt 2) o cae dentro del [[alcance|alcance]] de un [[cuantificador|cuantificador]], siendo idéntica a la que le sigue inmediatamente. {{ImagenPrincipal}} {{Etiqueta |Etiqueta=Lógica }} {{InfoWiki}}[/math]