Proposição: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Correcção de nome de ligação a artigo
Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel
Linha 1:
{{Sem notas|data=novembro de 2014}}
'''Proposição''' é um termo usado em [[lógica]] para descrever o conteúdo de [[asserção|asserções]]. Uma ''asserção'' é um conteúdo que pode ser tomado como [[verdade]]iro ou falso. Asserções são abstrações de [[sentença]]s não linguísticas que a constituem. A natureza das proposições é altamente controversa entre [[filosofia|filósofos]], muitos dos quais são [[ceticismo|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".