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]
ver Dedução Natural para a Lógica de Primeira Ordem Intuicionista
[VIDEO]