Open main menu

Changes

criando página
(Abreviatura: DN = Dedução Natural)

* 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]

== Para reflexão ==

*

== Veja também ==

* [[Dedução Natural]]
* [[Exercícios de Dedução Natural]]

== Links externos ==

*