Proposição é um termo usado em
lógica para descrever o conteúdo de
asserções. Uma
asserção é um conteúdo que pode ser tomado como
verdadeiro ou falso. Asserções são abstrações de
sentenças não linguísticas que a constituem. A natureza das proposições é altamente controversa entre
filósofos, muitos dos quais são
céticos sobre a existência de proposições. Muitos lógicos preferem evitar o uso do termo
proposição em favor de usar
sentença.
Diferentes sentenças podem expressar a mesma proposição quando têm o mesmo
significado. Por exemplo, "A neve é branca" e "Snow is white" são sentenças diferentes, mas ambas dizem a mesma coisa, a saber, que a neve é branca. Logo, expressam a mesma proposição. Outro exemplo de sentença que expressa a mesma proposição que as anteriores é "A precipitação de pequenos cristais de água congelada é branca", pois "precipitação de pequenos cristais de água congelada" é a definição de "neve".