Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
En los sistemas formales, aquella en la que todas sus variables aparecen ligadas (ver ejemplo). Una variable, x, aparece ligada si:
2) o cae dentro del alcance de un cuantificador, siendo idéntica a la que le sigue inmediatamente.