525
edits
Changes
Dedução Natural para a Lógica Proposicional Clássica (view source)
Revision as of 21:52, 3 September 2020
, 21:52, 3 September 2020no edit summary
* 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]</p>
* ''Efeitos das regras clássicas da negação '' sobre os demais conectivos<!--
--><p>[VIDEO]</p>
== Para reflexão ==
* Como capturar o comportamento dedutivo da ''bi-implicação clássica''?* Como encontrar regras para ''outros conectivos clássicos'' (ou para suas contrapartes intuicionistas)?
== Veja também ==