View source for Dedução Natural para a Lógica Proposicional Intuicionista

* Regras para a '''conjunção'''<!--
--><p>[VIDEO]</p>
* Regras para a '''implicação''' (intuicionista)<!--
--><p>[VIDEO]</p>
* Regras para a '''disjunção'''<!--
--><p>[VIDEO]</p>
* Regras para o '''bottom''' e para o '''top'''<!--
--><p>[VIDEO]</p>
* Regras para a '''negação''' intuicionista (primitivas versus derivadas)<!--
--><p>[VIDEO]</p>
* Regras para a '''bi-implicação''' intuicionista (primitivas versus derivadas)<!--
--><p>[VIDEO]</p>
* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes ("''replacement''"), pela via dedutiva<!--
--><p>[VIDEO]</p>

== Para reflexão ==

*  

== Veja também ==

* [[Dedução Natural]]
* [[Noção de equivalência lógica]]
* [[Exercícios de Dedução Natural]]
* [[Estratégias de demonstração]]

== Links externos ==

*