525
edits
Changes
Jump to navigation
Jump to search
m
Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)
Revision as of 22:01, 5 October 2020
, 22:01, 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'''<!--
--><p>[VIDEO]</p>
