111
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)
Revision as of 21:01, 15 October 2020
, 21:01, 15 October 2020→Links externos
* Regras para a '''quantificação universal''' intuicionista<!--
--><p>[VIDEO]{{#ev:youtube|B7fFRZF_wao}}</p>
* Regras para a '''quantificação existencial''' intuicionista<!--
--><p>[VIDEO]{{#ev:youtube|C37Y-1vqRAY}}</p>* Regras para a '''igualdade'''<!----><p>{{#ev:youtube|knltOmL0XEg}}</p>
== 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]]
== Links externos ==
*[http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o Quantificação]* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_existencia Quantificação existencial]* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_universal Quantificação universal]