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]

Veja também

• Dedução Natural
• Noção de equivalência lógica
• Exercícios de Dedução Natural
• Estratégias de demonstração