111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 13:24, 14 September 2020
, 13:24, 14 September 2020→Dedução Natural para a Lógica Proposicional Intuicionista
#<math>\alpha \vdash \neg\neg\alpha</math><!--
--><p>{{#ev:youtube|-Exorelokdo|||||start=463}}</p>
#<math>\beta \to \alpha, \beta \to \neg\alpha \vdash \neg\beta</math><!--
--><p>{{#ev:youtube|-Exorelokdo|||||start=498}}</p>
#<math>\alpha, \neg\alpha \vdash \neg\beta</math><!--
--><p>{{#ev:youtube|-Exorelokdo|||||start=570}}</p>
#<math>\alpha\lor\beta, \neg\alpha\lor\gamma \vdash \beta\lor\gamma</math><!--
--><p>{{#ev:youtube|-Exorelokdo|||||start=596}}</p>
#<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\lor\neg\beta</math><!--
--><p>{{#ev:youtube|-Exorelokdo|||||start=753}}</p>
==Dedução Natural para a Lógica Proposicional Clássica==