En lógica y filosofía, el término proposición se usa para referirse a:1
Las entidades portadoras de los valores de verdad.1
Los objetos de las creencias y de otras actitudes proposicionales.1
El significado de las oraciones demostrativas, como «el Sol es una estrella».1
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos.
En logica, un valor de verdad es un valor que indica en qué medida una declaración es verdad
