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
Sem resumo de edição |
|||
Linha 4:
==Interpretação dos símbolos lógicos==
*'''Conjunção:''' provar <math>A \land B\,\!</math> é provar <math>A\,\!</math> e <math>B\,\!</math>
*'''Disjunção:''' provar <math>A \lor B\,\!</math> é provar <math>A\,\!</math> ou <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>
*'''Negação:''' provar <math>\neg A\,\!</math> é provar que <math>A \to \perp \,\!</math>, ou seja, que <math>A\,\!</math> implica em uma falsidade
*'''Quantificador Existencial:''' provar <math>\exists x Px\,\!</math> é construir um objeto <math>x\,\!</math> e provar que <math>Px\,\!</math> é verificado
*'''Quantificador Universal:''' provar <math>\forall x Px\,\!</math> é aplicar um algoritmo em qualquer objeto <math>x\,\!</math>, sendo que esse prove que <math>Px\,\!</math> é verificado
==Sintaxe==
| |||