111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 13:20, 14 September 2020
, 13:20, 14 September 2020→Dedução Natural para a Lógica Proposicional Intuicionista
#<math>\alpha \lor \beta \not\vdash \alpha \land \beta</math><!--
--><p>{{#ev:youtube|yUejpYb2NgI|||||start=1231}}</p>
<!-- -->
#<math>\alpha \vdash \neg\neg\alpha</math><!--
--><p>{{#ev:youtube|-Exorelokdo|||||start=463}}</p>
==Dedução Natural para a Lógica Proposicional Clássica==