Difference between revisions of "Quantificadores"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 19: Line 19:
  
 
* Além da dualidade, você seria capaz de verificar semanticamente, de maneira detalhada, todas as conexões características do ''Quadrado das Oposições''?
 
* 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?
+
* 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 ==
 
== Veja também ==

Revision as of 11:53, 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 relativizados

    [VIDEO]

  • Quantificadores de contagem

    [VIDEO]

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

Links externos