525
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)
Revision as of 22:00, 5 October 2020
, 22:00, 5 October 2020no edit summary
* Regras para a '''quantificação universal''' intuicionista<!--
--><p>[VIDEO]</p>
* Regras para a '''quantificação existencial'' intuicionista<!----><p>[VIDEO]</p>* Regras para a ''igualdade'' intuicionista<!--
--><p>[VIDEO]</p>