525
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)
Revision as of 12:35, 6 October 2020
, 12:35, 6 October 2020no edit summary
== 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 ==