525
edits
Changes
Jump to navigation
Jump to search
vídeo adicionado
--><p>{{#ev:youtube|H3HhormBWr8}}</p>
* Quantificadores ''de contagem''<!--
--><p>[VIDEO]{{#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 ==
