111
edits
Changes
Jump to navigation
Jump to search
Exercícios de Dedução Natural (view source)
Revision as of 13:26, 14 September 2020
, 13:26, 14 September 2020→Dedução Natural para a Lógica Proposicional Intuicionista
#<math> \alpha\to\beta \vdash \neg\beta\to\neg\alpha</math><!--
--><p>{{#ev:youtube|-Exorelokdo|||||start=741}}</p>
#<math>\neg(\alpha \lor \beta) \dashv\vdash \neg\alpha\lorland\neg\beta</math><!----><p>{{#ev:youtube|-Exorelokdo|||||start=753817}}</p>
==Dedução Natural para a Lógica Proposicional Clássica==
