111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 12:30, 14 September 2020
, 12:30, 14 September 2020→Dedução Natural para a Lógica Proposicional Intuicionista
#<math>\gamma \to \alpha, \gamma \to \beta \vdash \gamma \to (\alpha \land \beta)</math><!--
--><p>{{#ev:youtube|mlEYLd56pMg|||||start=1098}}</p>
#<math>\beta \lor (\alpha \land \beta) \vdash \beta</math><!--
--><p>{{#ev:youtube|yUejpYb2NgI|||||start=759}}</p>
#<math>(\alpha \lor \beta) \to \gamma \vdash (\alpha \to \gamma) \land (\beta \to \gamma)</math><!--
--><p>{{#ev:youtube|yUejpYb2NgI|||||start=850}}</p>
#<math>\alpha \lor \beta \not\vdash \alpha \land \beta</math><!--
--><p>{{#ev:youtube|yUejpYb2NgI|||||start=1424}}</p>
==Dedução Natural para a Lógica Proposicional Clássica==