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
Para reflexão
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
