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