Valor de verdade: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Mesclagem com o conteúdo da página em inglês e organização do conteúdo |
m Correção de ortografia |
||
Linha 35:
== Intuicionismo e Lógica Construtivista ==
{{principal|Construtivismo (matemática)}}
Na [[Lógica Intuicionista]], e de forma mais geral, [[Construtivismo (matemática)|Matemática Costrutivista]], as declarações(sentenças) recebem um valor verdade somente se elas puderem ser uma prova construtiva. Inicia-se com um conjunto de axiomas, e a sentença é verdadeira se você pode construir uma prova de que a sentença veio desses axiomas. A sentença é falsa se você pode deduzir uma
Sentenças não provadas na [[Lógica Intuicionista]] não existe um valor intermediário para valor verdade. Entretanto, é possível provar que elas não possuem um terceiro valor verdade; Em 1928 é publicada a prova de que a Lógica Intuicionista não possui um terceiro valor verdade, por Glivenko <ref>[http://plato.stanford.edu/entries/intuitionistic-logic-development/#4.3 Proof that intuitionistic logic has no third truth value, Glivenko 1928]</ref>.
| |||