525
edits
Changes
vídeo adicionado
== De acordo com a semântica clássica ==
* A '''interpretação substitucional''' vs a '''interpretação objetual'''<!--
--><p>{{#ev:youtube|6jyw92ijy9Q}}</p><!--
--><p>Também: ''quantificações ociosas'' e ''renomeamento de variáveis''. Ilustração detalhada da análise semântica recursiva de uma sentença contendo quantificadores.
* A ''dualidade'' entre os quantificadores universal e existencial<!--
--><p>{{#ev:youtube|S4bDWqwCGZ4|||||start=598&end=687&loop=1}}</p>