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 26:
* OR-2: <math>\chi\to\left(\varphi\lor\chi\right)</math>
* OR-3: (φ → ψ) → ((χ → ψ) → (φ ∨ χ → ψ))
* 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>
* PRED-1: <math>\left(\forall x Zx\right)\to Zt</math>
* PRED-2: <math>Zt\to\left(\exists x Zx\right)</math>
* PRED-3: (∀''x'' (''W'' → ''Z''(''x''))) → (''W'' → ∀''x'' ''Z''(''x''))
* PRED-4: (∀''x'' (''Z''(''x'') → ''W'')) → (∃''x'' ''Z''(''x'') → ''W'')
| |||