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 1: Line 1:
== Dedução Natural para a Lógica Proposicional Intuicionista ==
+
==Dedução Natural para a Lógica Proposicional Intuicionista==
  
 
[AGUARDE!]
 
[AGUARDE!]
  
== Dedução Natural para a Lógica Proposicional Clássica ==
+
==Dedução Natural para a Lógica Proposicional Clássica==
  
* ''Derivações na forma de árvores rotuladas com fórmulas''
+
*''Derivações na forma de árvores rotuladas com fórmulas''
  
# Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math></p><!--
+
#Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math></p><!--
 
--><p>{{#ev:youtube|kNyjuCFUzC8}}</p><!--
 
--><p>{{#ev:youtube|kNyjuCFUzC8}}</p><!--
 
--><p>''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.
 
--><p>''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.
  
== Veja também ==
+
#<math>\varphi \land \psi \vdash \psi \land \varphi</math>
 +
--><p>{{#ev:youtube|moh07B8dv2k?start=491}}</p><!--
  
* [[Dedução Natural]]
+
==Veja também==
* [[Estratégias de demonstração]]
 
  
== Links externos ==
+
*[[Dedução Natural]]
 +
*[[Estratégias de demonstração]]
 +
 
 +
==Links externos==
  
 
*
 
*

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

-->

EmbedVideo received the bad id "moh07B8dv2k?start=491" for the service "youtube".