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 12: Line 12:
  
 
#<math>\varphi \land \psi \vdash \psi \land \varphi</math>
 
#<math>\varphi \land \psi \vdash \psi \land \varphi</math>
--><p>{{#ev:youtube|moh07B8dv2k?start=491}}</p><!--
+
--><p>{{#ev:youtube|moh07B8dv2k}}</p><!--
  
 
==Veja também==
 
==Veja também==

Revision as of 17:22, 13 September 2020

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

[AGUARDE!]

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.

-->