(Abreviatura: DN = Dedução Natural) * Regras para a '''conjunção'''<!--[VIDEO]--><p>{{#ev:youtube|moh07B8dv2k}}</p>* Regras para a '''implicação ''' (intuicionista)<!--[VIDEO]--><p>{{#ev:youtube|mlEYLd56pMg}}</p>* Regras para a '''disjunção'''<!--[VIDEO]--><p>{{#ev:youtube|yUejpYb2NgI}}</p>* Regras para o '''bottom ''' (intuicionista) e para o '''top'''<!--[VIDEO]--><p>{{#ev:youtube|jOzs9BAA8E8}}</p>* Regras para a '''negação ''' intuicionista (primitivas versus derivadas)<!--[VIDEO]--><p>{{#ev:youtube|-Exorelokdo}}</p>* Regras para a '''bi-implicação ''' intuicionista (primitivas versus derivadas)<!--[VIDEO]--><p>{{#ev:youtube|nhvGKcSH3v0}}</p>* '''Congruencialidade''': Teorema Meta-teorema de Substitutividade de Equivalentes ("EN: ''replacement"theorem''), pela via dedutiva<!--[VIDEO]--><p>{{#ev:youtube|C2S2z-Emw5Y}}</p>
== Para reflexão ==
*
== Veja também ==
* [[Dedução Natural]]
* [[Noção de equivalência lógicaDedução Natural para a Lógica Proposicional Clássica]]
* [[Exercícios de Dedução Natural]]
* [[Estratégias de demonstração]]
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*