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

From Logic Wiki
Jump to navigation Jump to search
(acrescentando video)
Tag: 2017 source edit
(acrescentando video)
Tag: 2017 source edit
Line 10: Line 10:
 
--><p>{{#ev:youtube|-Exorelokdo}}</p>
 
--><p>{{#ev:youtube|-Exorelokdo}}</p>
 
* Regras para a '''bi-implicação''' intuicionista (primitivas versus derivadas)<!--
 
* Regras para a '''bi-implicação''' intuicionista (primitivas versus derivadas)<!--
--><p>[VIDEO]</p>
+
--><p>{{#ev:youtube|nhvGKcSH3v0}}</p>
 
* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem''), pela via dedutiva<!--
 
* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem''), pela via dedutiva<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>

Revision as of 04:51, 15 September 2020

  • 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

    [VIDEO]

Para reflexão

Veja também

Links externos