525
edits
Changes
Dedução Natural para a Lógica Proposicional Intuicionista (view source)
Revision as of 18:53, 13 September 2020
, 18:53, 13 September 2020no edit summary
--><p>{{#ev:youtube|moh07B8dv2k}}</p>
* Regras para a '''implicação''' (intuicionista)<!--
--><p>[VIDEO]{{#ev:youtube|mlEYLd56pMg}}</p>
* Regras para a '''disjunção'''<!--
--><p>[VIDEO]</p>