Una oración cerrada –o sentencia- es una función proposicional con nombres de objetos en el lugar de las variables o sin ninguna variable no cuantificada lógicamente; las oraciones cerradas son las que pueden ser verdaderas o falsas.