Difference between revisions of "Quantificadores"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
(vídeo adicionado)
Tag: 2017 source edit
Line 10: Line 10:
 
--><p>{{#ev:youtube|vKxDPQgLRuU}}</p>
 
--><p>{{#ev:youtube|vKxDPQgLRuU}}</p>
 
* ''Aninhamento'' de quantificadores<!--
 
* ''Aninhamento'' de quantificadores<!--
--><p>[VIDEO]</p>
+
--><p>{{#ev:youtube|ihfZ4wlgFw}}</p>
 
* Quantificadores ''de contagem''<!--
 
* Quantificadores ''de contagem''<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>

Revision as of 01:34, 4 October 2020

De acordo com a semântica clássica

  • A interpretação substitucional vs a interpretação objetual

    Ainda: quantificações ociosas e renomeamento de variáveis. Ilustração detalhada da análise semântica recursiva de uma sentença contendo quantificadores.

    Como avaliar a adequação de uma tradução da linguagem natural para a linguagem formal.

  • A dualidade entre os quantificadores universal e existencial

  • A interação entre os quantificadores e os conectivos de conjunção e de disjunção

  • Aninhamento de quantificadores

  • Quantificadores de contagem

    [VIDEO]

  • Quantificadores relativizados

    [VIDEO]

Para reflexão

Veja também

Links externos