111
edits
Changes
→Links externos
* A '''interpretação substitucional''' vs a '''interpretação objetual'''<!--
--><p>{{#ev:youtube|6jyw92ijy9Q}}</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 de Primeira Ordem ClássicaMatemá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]