View source for Quantificadores

* 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|7ihfZ4wlgFw}}</p>
* Quantificadores ''relativizados''<!--
--><p>{{#ev:youtube|H3HhormBWr8}}</p>
* Quantificadores ''de contagem''<!--
--><p>{{#ev:youtube|Eq1JOPhL9xE}}</p>

== Para reflexão ==

* Além da ''dualidade'', você seria capaz de verificar semanticamente, de maneira detalhada, todas as conexões características do ''Quadrado das Oposições''?
* Se a linguagem de primeira ordem possuísse ''somente'' quantificações relativizadas, como você faria para definir a partir destas últimas as quantificações irrestritas da versão ''homogênea'' da linguagem de primeira ordem?
* Você seria capaz de verificar em detalhe, usando a semântica da lógica de primeira ordem, que os quantificadores de contagem funcionam ''como especificado''?

== Veja também ==

* [[Semântica formal para a lógica de primeira ordem]]
* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o Quantificação]
* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_existencia Quantificação existencial]
* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_universal Quantificação universal]