525
edits
Changes
Jump to navigation
Jump to search
Dedução Natural para a Lógica Proposicional Clássica (view source)
Revision as of 11:54, 26 September 2020
, 11:54, 26 September 2020no edit summary
* Regras para a '''conjunção''', a '''disjunção''', a '''implicação intuicionista''', o '''bottomintuicionista''', 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'''<!--
