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 13: Line 13:
 
-->
 
-->
  
#Comutatividade de <math>\land</math>: <math>\varphi \land \psi \vdash \psi \land \varphi</math><!-- --><p>{{#ev:youtube|moh07B8dv2k|||||start=480}}</p>
+
#Comutatividade de <math>\land</math>: <math>\varphi \land \psi \vdash \psi \land \varphi</math><!-- --><p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=525}}</p>
  
 
==Veja também==
 
==Veja também==

Revision as of 17:41, 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.

  1. Comutatividade de :

Veja também

Links externos