Changes

Jump to navigation Jump to search
394 bytes added ,  11:53, 4 October 2020
m
no edit summary
* ''Aninhamento'' de quantificadores<!--
--><p>{{#ev:youtube|7ihfZ4wlgFw}}</p>
* Quantificadores ''relativizados''<!--
--><p>[VIDEO]</p>
* Quantificadores ''de contagem''<!--
--><p>[VIDEO]</p>
* Quantificadores ''relativizados''<!--
--><p>[VIDEO]</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?
== Veja também ==

Navigation menu