Una oración cerrada, como proposición, es una función proposicional con nombres de objetos en el lugar de las variables o con variables lógicamente cuantificadas.