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
--><p>{{#ev:youtube|B7fFRZF_wao}}</p>
* Regras para a '''quantificação existencial''' intuicionista<!--
--><p>[VIDEO]{{#ev:youtube|C37Y-1vqRAY}}</p>
* Regras para a '''igualdade'''<!--
--><p>[VIDEO]{{#ev:youtube|knltOmL0XEg}}</p>
== Para reflexão ==
== 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]