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

  [VIDEO]

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