525
edits
Changes
Dedução Natural para a Lógica Proposicional Intuicionista (view source)
Revision as of 05:07, 14 September 2020
, 05:07, 14 September 2020acrescentando video
--><p>{{#ev:youtube|jOzs9BAA8E8}}</p>
* Regras para a '''negação''' intuicionista (primitivas versus derivadas)<!--
--><p>[VIDEO]{{#ev:youtube|-Exorelokdo}}</p>
* Regras para a '''bi-implicação''' intuicionista (primitivas versus derivadas)<!--
--><p>[VIDEO]</p>