Difference between revisions of "Quantificadores"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
Tag: 2017 source edit
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
== De acordo com a semântica clássica ==
 
 
 
* A '''interpretação substitucional''' vs a '''interpretação objetual'''<!--
 
* A '''interpretação substitucional''' vs a '''interpretação objetual'''<!--
 
--><p>{{#ev:youtube|6jyw92ijy9Q}}</p><!--
 
--><p>{{#ev:youtube|6jyw92ijy9Q}}</p><!--
Line 25: Line 23:
  
 
* [[Semântica formal para a lógica de primeira ordem]]
 
* [[Semântica formal para a lógica de primeira ordem]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
*
+
* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o Quantificação]
 +
* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_existencia Quantificação existencial]
 +
* [http://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o_universal Quantificação universal]

Latest revision as of 20:56, 15 October 2020

  • 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

  • Quantificadores de contagem

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?
  • Você seria capaz de verificar em detalhe, usando a semântica da lógica de primeira ordem, que os quantificadores de contagem funcionam como especificado?

Veja também

Links externos