View source for Dedução Natural para a Lógica de Primeira Ordem Clássica

* Regras para os ''quantificadores'' e para a ''igualdade'': <!--
--><p>ver [[Dedução Natural para a Lógica de Primeira Ordem Intuicionista]]</p>
* ''Efeitos das regras clássicas da negação'' sobre os quantificadores<!--
--><p>{{#ev:youtube|8V6u6BrqJ-M}}</p>

== Para reflexão ==

* 

== Veja também ==

* [[Quantificadores]]
* [[Dedução Natural]]
* [[Exercícios de Dedução Natural]]
* [[Estratégias de demonstração]]
* [[Correção e completude para a Lógica de Primeira Ordem Clássica]]
* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

* [http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]