Dedução Natural para a Lógica Proposicional Intuicionista
- Regras para a conjunção
- Regras para a implicação (intuicionista)
[VIDEO]
- Regras para a disjunção
[VIDEO]
- Regras para o bottom (intuicionista) 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: Meta-teorema de Substitutividade de Equivalentes (EN: replacement theorem), pela via dedutiva
[VIDEO]