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 17:
==Interpretação dos símbolos lógicos==
*'''Conjunção:''' provar <math>A \land B\,\!</math> é provar <math>A\,\!</math> e provar <math>B\,\!</math>
*'''Disjunção:''' provar <math>A \lor B\,\!</math> é provar <math>A\,\!</math> ou provar <math>B\,\!</math>
*'''Implicação:''' provar <math>A \to B\,\!</math> é aplicar um algoritmo numa prova de <math>A\,\!</math> que leve a uma prova de <math>B\,\!</math>
| |||