Open main menu

Changes

criando verbete
* Regras para a '''quantificação universal''' intuicionista<!--
--><p>{{#ev:youtube|nhvGKcSH3v0}}</p>
* Regras para a '''quantificação existencial''' intuicionista<!--
--><p>{{#ev:youtube|nhvGKcSH3v0}}</p>

== Para reflexão ==

*

== Veja também ==

* [[Dedução Natural]]
* [[Exercícios de Dedução Natural]]
* [[Estratégias de demonstração]]

== Links externos ==

*