525
edits
Changes
Dedução Natural para a Lógica Proposicional Intuicionista (view source)
Revision as of 01:35, 14 September 2020
, 01:35, 14 September 2020acrescentando video
--><p>{{#ev:youtube|mlEYLd56pMg}}</p>
* Regras para a '''disjunção'''<!--
--><p>[VIDEO]{{#ev:youtube|yUejpYb2NgI}}</p>
* Regras para o '''bottom''' (intuicionista) e para o '''top'''<!--
--><p>[VIDEO]</p>