View source for Quantificadores

== De acordo com a semântica clássica ==

* A '''interpretação substitucional''' vs a '''interpretação objetual'''<!--
--><p>{{#ev:youtube|6jyw92ijy9Q}}</p><!--
--><p>Ainda: ''quantificações ociosas'' e ''renomeamento de variáveis''. Ilustração detalhada da análise semântica recursiva de uma sentença contendo quantificadores.</p><!--
--><p>Como avaliar a adequação de uma tradução da linguagem natural para a linguagem formal.</p>
* A ''dualidade'' entre os quantificadores universal e existencial<!--
--><p>{{#ev:youtube|S4bDWqwCGZ4|||||start=598&end=687&loop=1}}</p>
* A ''interação'' entre os quantificadores e os conectivos de ''conjunção'' e de ''disjunção''<!--
--><p>{{#ev:youtube|vKxDPQgLRuU}}</p>
* ''Aninhamento'' de quantificadores<!--
--><p>{{#ev:youtube|ihfZ4wlgFw}}</p>
* Quantificadores ''de contagem''<!--
--><p>[VIDEO]</p>
* Quantificadores ''relativizados''<!--
--><p>[VIDEO]</p>

== Para reflexão ==

* 

== Veja também ==

* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]

== Links externos ==

*