Difference between revisions of "Dedução Natural para a Lógica Proposicional Intuicionista"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m (adding links)
Tag: 2017 source edit
 
(17 intermediate revisions by the same user not shown)
Line 1: Line 1:
(Abreviatura: DN = Dedução Natural)
+
* Regras para a '''conjunção'''<!--
 
+
--><p>{{#ev:youtube|moh07B8dv2k}}</p>
* Regras para a conjunção
+
* Regras para a '''implicação''' (intuicionista)<!--
[VIDEO]
+
--><p>{{#ev:youtube|mlEYLd56pMg}}</p>
* Regras para a implicação (intuicionista)
+
* Regras para a '''disjunção'''<!--
[VIDEO]
+
--><p>{{#ev:youtube|yUejpYb2NgI}}</p>
* Regras para a disjunção
+
* Regras para o '''bottom''' (intuicionista) e para o '''top'''<!--
[VIDEO]
+
--><p>{{#ev:youtube|jOzs9BAA8E8}}</p>
* Regras para o bottom e para o top
+
* Regras para a '''negação''' intuicionista (primitivas versus derivadas)<!--
[VIDEO]
+
--><p>{{#ev:youtube|-Exorelokdo}}</p>
* Regras para a negação intuicionista (primitivas versus derivadas)
+
* Regras para a '''bi-implicação''' intuicionista (primitivas versus derivadas)<!--
[VIDEO]
+
--><p>{{#ev:youtube|nhvGKcSH3v0}}</p>
* Regras para a bi-implicação intuicionista (primitivas versus derivadas)
+
* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem''), pela via dedutiva<!--
[VIDEO]
+
--><p>{{#ev:youtube|C2S2z-Emw5Y}}</p>
  
 
== Para reflexão ==
 
== Para reflexão ==
  
*  
+
*
  
 
== Veja também ==
 
== Veja também ==
  
 
* [[Dedução Natural]]
 
* [[Dedução Natural]]
 +
* [[Dedução Natural para a Lógica Proposicional Clássica]]
 
* [[Exercícios de Dedução Natural]]
 
* [[Exercícios de Dedução Natural]]
 
* [[Estratégias de demonstração]]
 
* [[Estratégias de demonstração]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
 
*
 
*

Latest revision as of 16:58, 1 March 2021

  • Regras para a conjunção

  • Regras para a implicação (intuicionista)

  • Regras para a disjunção

  • Regras para o bottom (intuicionista) e para o top

  • Regras para a negação intuicionista (primitivas versus derivadas)

  • Regras para a bi-implicação intuicionista (primitivas versus derivadas)

  • Congruencialidade: Meta-teorema de Substitutividade de Equivalentes (EN: replacement theorem), pela via dedutiva

Para reflexão

Veja também

Links externos