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
Tag: 2017 source edit
Line 1: Line 1:
(Abreviatura: DN = Dedução Natural)
 
 
 
* Regras para a conjunção
 
* Regras para a conjunção
 
[VIDEO]
 
[VIDEO]
Line 18: Line 16:
 
== Para reflexão ==
 
== Para reflexão ==
  
*  
+
*
  
 
== Veja também ==
 
== Veja também ==

Revision as of 23:13, 2 September 2020

  • Regras para a conjunção

[VIDEO]

  • Regras para a implicação (intuicionista)

[VIDEO]

  • Regras para a disjunção

[VIDEO]

  • Regras para o bottom e para o top

[VIDEO]

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

[VIDEO]

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

[VIDEO]

  • Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement")

[VIDEO]

Para reflexão

Veja também

Links externos