Dedução Natural para a Lógica Proposicional Intuicionista
(Abreviatura: DN = Dedução Natural)
- Regras para a conjunção
[VIDEO]
- Regras para a implicação (intuicionista)
[VIDEO]
- Regras para a disjunção
[VIDEO]
- Regras para o bottom e para o top
[VIDEO]
- Regras para a negação intuicionista (primitivas versus derivadas)
[VIDEO]
- Regras para a bi-implicação intuicionista (primitivas versus derivadas)
[VIDEO]
- Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement")
[VIDEO]