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 38:
* OR-1: <math>\varphi\to\left(\varphi\lor\chi\right)</math>
* OR-2: <math>\chi\to\left(\varphi\lor\chi\right)</math>
* OR-3: <math>\left(\varphi\to \psi\right)\to \left(\left(\chi\to \psi\right)\to \left(\left(\varphi\lor\chi\right)\to\psi\right)\right)</math>
* NOT-1: <math>\left(\varphi\to\chi\right)\to\left(\left(\varphi\to\neg\chi\right)\to \neg\varphi\right)</math>
* NOT-2: <math>\varphi\to\left(\neg\varphi\to\chi\right)</math>
|