Dedução Natural para a Lógica de Primeira Ordem Clássica
- Regras para os quantificadores:
ver Dedução Natural para a Lógica de Primeira Ordem Intuicionista
- Efeitos das regras clássicas da negação sobre os quantificadores
[VIDEO]
Para reflexão
- Como capturar o comportamento dedutivo da bi-implicação clássica?
- Como encontrar regras para outros conectivos clássicos (ou para suas contrapartes intuicionistas)?
- A regra do bottom clássico captura uma interação 'não-conectival' entre o bottom e a negação (clássica). Em geral, dado um conectivo ©, o que o lógico clássico teria a dizer sobre as interações entre o bottom e a negação de ©?