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

• 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: Meta-teorema de Substitutividade de Equivalentes ("replacement"), pela via dedutiva

  [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