525
edits
Changes
Dedução Natural para a Lógica Proposicional Clássica (view source)
Revision as of 20:54, 3 September 2020
, 20:54, 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: ver [[Dedução Natural para a Lógica Proposicional Intuicionista]]
* 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 ==