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 18:
==Sintaxe==
===Axiomas===
* THEN-1: <math>\varphi\to\left(\chi\to\varphi\right)</math>
* THEN-2: <math>\left(\varphi\to\left(\chi\to\psi\right)\right)\to\left(\left( \varphi\to\chi\right)\to\left(\varphi\to\psi\right)\right)</math>
* AND-1: <math>\left(\varphi\land\chi\right)\to\varphi</math>
* AND-2: <math>\left(\varphi\land\chi\right)\to\chi</math>
* AND-3: <math>\varphi\to\left(\chi\to\left(\varphi\land\chi\right)\right)</math>
* OR-1: <math>\varphi\to\left(\varphi\lor\chi\right)</math>
* OR-2: <math>\chi\to\left(\varphi\lor\chi\right)</math>
* OR-3: (φ → ψ) → ((χ → ψ) → (φ ∨ χ → ψ))
* NOT-1: (φ → χ) → ((φ → ¬χ) → ¬ φ)
|