525
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
* A '''interpretação substitucional''' vs a '''interpretação objetual'''<!--
--><p>{{#ev:youtube|6jyw92ijy9Q}}</p><!--
--><p>TambémAinda: ''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>
