525
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)
Revision as of 10:09, 12 October 2020
, 10:09, 12 October 2020vídeo adicionado
--><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]</p>