Dedução Natural para a Lógica Proposicional Intuicionista

• Regras para a conjunção

• Regras para a implicação (intuicionista)

• Regras para a disjunção

• Regras para o bottom (intuicionista) e para o top

• Regras para a negação intuicionista (primitivas versus derivadas)

• Regras para a bi-implicação intuicionista (primitivas versus derivadas)

• Congruencialidade: Meta-teorema de Substitutividade de Equivalentes (EN: replacement theorem), pela via dedutiva

Veja também

• Dedução Natural
• Dedução Natural para a Lógica Proposicional Clássica
• Exercícios de Dedução Natural
• Estratégias de demonstração
• Introdução Computacional à Lógica Matemática