Una oración (en la lógica de predicados ) es una fórmula bien formada que no contiene ocurrencias libres de variables (es decir, ocurrencias que no están dentro del alcance de ningún cuantificador en ). En términos generales, la oración no debe contener "parámetros" que puedan afectar el valor de verdad de la oración en la "estructura semántica" implícita: por lo tanto, en cada una de esas estructuras, la oración tiene el único valor de verdad posible.
Expresión
es una oración, porque tiene una tabla de verdad fija. Para cualquier valor , puede determinar la verdad de esta expresión, una variable vinculada. Por el contrario, la expresión
no es una oración, ya que aquí hay una variable libre. Para esta expresión, es imposible construir una tabla de verdad, ya que no se imponen restricciones sobre y.