Difference between revisions of "Exercícios de Dedução Natural"

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
Tag: 2017 source edit
Line 21: Line 21:
 
#<math>\gamma \to \alpha, \gamma \to \beta \vdash \gamma \to (\alpha \land \beta)</math><!--
 
#<math>\gamma \to \alpha, \gamma \to \beta \vdash \gamma \to (\alpha \land \beta)</math><!--
 
--><p>{{#ev:youtube|mlEYLd56pMg|||||start=1098}}</p>
 
--><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==
 
==Dedução Natural para a Lógica Proposicional Clássica==

Revision as of 12:30, 14 September 2020

Dedução Natural para a Lógica Proposicional Intuicionista

Dedução Natural para a Lógica Proposicional Clássica

  • Derivações na forma de árvores rotuladas com fórmulas
  1. Terceiro Excluído / Tertium Non Datur:
    Tarefa: Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.

Veja também

Links externos