525
edits
Changes
Jump to navigation
Jump to search
Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)
Revision as of 16:58, 10 October 2020
, 16:58, 10 October 2020vídeo adicionado
* Regras para a '''quantificação universal''' intuicionista<!--
--><p>[VIDEO]{{#ev:youtube|B7fFRZF_wao}}</p>
* Regras para a '''quantificação existencial''' intuicionista<!--
--><p>[VIDEO]</p>
