525
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Intuicionista (view source)
Revision as of 21:53, 5 October 2020
, 21:53, 5 October 2020no edit summary
* Regras para a '''quantificação universal''' intuicionista<!--
--><p>{{#ev:youtube|nhvGKcSH3v0}}[VIDEO]</p>
* Regras para a '''quantificação existencial''' intuicionista<!--
--><p>{{#ev:youtube|nhvGKcSH3v0}}[VIDEO]</p>
== Para reflexão ==