Lógica/Lógicas Não-clássicas/Lógica Intuicionista: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 2:
===Motivações Filosóficas da Lógica Intuicionista===
===Discrepâncias entre a Lógica Clássica e a Intuicionista===
A interpretação que a Lógica Intuicionista faz dos operadores (o que falaremos melhor abaixo) a leva a não verificar certos princípios da Lógica Clássica. Por exemplo, enquanto a Clássica interpreta <math>A\lor B\,\!</math> como "entre <math>A\,\!</math> e <math>B\,\!</math>,
<math>\nvdash _\mathbf{I} A\lor \neg A</math>
|