proposición

En filosofía y lógica, el término proposición se usa para referirse a:

• Las entidades portadoras de los valores de verdad.
• Los objetos de las creencias y de otras actitudes proposicionales.
• El significado de las oraciones declarativas o enunciativas, como «el Sol es una estrella».

Intuitivamente una proposición expresa un contenido semántico a la que bajo cierto procedimiento acordado o prescrito es posible asignarle un valor de verdad (usualmente "cierto" o "falso", aunque en lógica formal se admiten otros valores de verdad diferentes).