525
edits
Changes
Dedução Natural para a Lógica Proposicional Clássica (view source)
Revision as of 04:51, 15 September 2020
, 04:51, 15 September 2020acrescentando video
* Regras para a conjunção, a disjunção, a implicação intuicionista, o bottom, o top, e a negação intuicionista: <!--
--><p>ver [[Dedução Natural para a Lógica Proposicional Intuicionista]]</p>
* Regras para a '''negação clássica''' (e o '''bottom clássico''')<!----><p>[VIDEO]{{#ev:youtube|0RiYJ5EinRE}}</p>
* ''Efeitos das regras clássicas da negação'' sobre os demais conectivos<!--
--><p>[VIDEO]{{#ev:youtube|abE4_iTh_IU}}</p>
== Para reflexão ==