¿Qué es?
No se ha añadido ninguna twiki todavía.
Aquella en que aparece alguna variable libre, a saber, que no cae dentro del alcance de un cuantificador. Así, en [math]\forall x(Qxy\rightarrow Rxy)[/math] la variable y es libre; no ocurre entre el alance del cuantificador. A una fórmula abierta se la llama también función proposicional.