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

  [VIDEO]

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?

Veja também

• Quantificadores
• Dedução Natural
• Exercícios de Dedução Natural
• Estratégias de demonstração
• Introdução Computacional à Lógica Matemática