Dedução Natural para a Lógica de Primeira Ordem Clássica

• Regras para os quantificadores e para a igualdade:

  ver Dedução Natural para a Lógica de Primeira Ordem Intuicionista

• Efeitos das regras clássicas da negação sobre os quantificadores

Veja também

• Quantificadores
• Dedução Natural
• Exercícios de Dedução Natural
• Estratégias de demonstração
• Correção e completude para a Lógica de Primeira Ordem Clássica
• Introdução Computacional à Lógica Matemática

Links externos

• Dedução natural