Dedução Natural para a Lógica de Primeira Ordem Intuicionista
- Regras para a quantificação universal intuicionista
- Regras para a quantificação existencial intuicionista
- Regras para a igualdade
Para reflexão
- Você seria capaz de propor regras primitivas para os quantificadores relativizados? E de derivar a partir destas últimas as regras dos quantificadores usuais?
- Você seria capaz de propor regras primitivas para os quantificadores de contagem?