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: φ → (χ → φ)
* THEN-2: (φ → (χ → ψ)) → ((φ → χ) → (φ → ψ))
* AND-1: φ ∧ χ → φ
* AND-2: φ ∧ χ → χ
* AND-3: φ → (χ → (φ ∧ χ))
* OR-1: φ → φ ∨ χ
* OR-2: χ → φ ∨ χ
* OR-3: (φ → ψ) → ((χ → ψ) → (φ ∨ χ → ψ))
* NOT-1: (φ → χ) → ((φ → ¬χ) → ¬ φ)
* NOT-2: φ → (¬φ → χ)
* PRED-1: (∀''x'' ''Z''(''x'')) → ''Z''(''t'')
* PRED-2: ''Z''(''t'') → (∃''x'' ''Z''(''x''))
* PRED-3: (∀''x'' (''W'' → ''Z''(''x''))) → (''W'' → ∀''x'' ''Z''(''x''))
* PRED-4: (∀''x'' (''Z''(''x'') → ''W'')) → (∃''x'' ''Z''(''x'') → ''W'')
==Semântica==
| |||