Difference between revisions of "Semântica formal para a Lógica de Primeira Ordem Clássica"

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
m
Tag: 2017 source edit
 
(8 intermediate revisions by 2 users not shown)
Line 18: Line 18:
 
== Noções de acarretamento associadas ==
 
== Noções de acarretamento associadas ==
  
* '''Consequência semântica''' para a Lógica de Primeira Ordem Clássica<!--
+
* '''Consequência semântica''' para a Lógica de Primeira Ordem Clássica:<!--
--><p>VIDEO</p>
+
--><p>ver [[Acarretamento]]</p>
  
 
== Para reflexão ==
 
== Para reflexão ==
  
 +
* Como você procederia para tentar verificar a seguinte igualdade? <math>[\![ t [x \mapsto u ] ]\!]^{<I,\rho>} = [\![ t ]\!]^{<I,\rho[x := [[u]]^{<I,\rho>} ]>}</math>
 
* O que você acha que deve mudar, na interpretação de fórmulas relacionais, no contexto de uma semântica para a ''Lógica de Primeira Ordem Intuicionista''? O que dizer, também, da interpretação de fórmulas quantificadas, nesta lógica? Por fim, como você acha que a relação de ''desigualdade'' poderia ser afetada, no caso intuicionista?
 
* O que você acha que deve mudar, na interpretação de fórmulas relacionais, no contexto de uma semântica para a ''Lógica de Primeira Ordem Intuicionista''? O que dizer, também, da interpretação de fórmulas quantificadas, nesta lógica? Por fim, como você acha que a relação de ''desigualdade'' poderia ser afetada, no caso intuicionista?
 
* Como você demonstraria a ''correção'' da regra de congruencialidade do símbolo de igualdade?
 
* Como você demonstraria a ''correção'' da regra de congruencialidade do símbolo de igualdade?
 +
* Em que situações lhe pareceria viável generalizar o algoritmo das tabelas de verdade, disponível no caso proposicional, para verificar a satisfatibilidade de fórmulas de primeira ordem?
  
 
== Veja também ==
 
== Veja também ==
Line 38: Line 40:
 
== Links externos ==
 
== Links externos ==
  
*
+
* [http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de Primeira Ordem]
 +
* [http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 Interpretação (lógica)]
 +
* [http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 Valoração (lógica)]

Latest revision as of 15:45, 22 October 2020

Interpretações

  • Estruturas de interpretação para uma assinatura de primeira ordem

  • Alocações de valores para os símbolos de variável sobre uma estrutura de interpretação

  • Modelos de primeira ordem, e interpretações pretendidas

  • Alocações variantes: coincidentes a menos de exceções locais

  • Denotações dos termos induzidos por uma assinatura de primeira ordem

  • Noção de satisfação para fórmulas relacionais e para fórmulas quantificadas induzidas por uma assinatura de primeira ordem

  • Interpretação da igualdade como a identidade

Noções de acarretamento associadas

  • Consequência semântica para a Lógica de Primeira Ordem Clássica:

    ver Acarretamento

Para reflexão

  • Como você procederia para tentar verificar a seguinte igualdade?
  • O que você acha que deve mudar, na interpretação de fórmulas relacionais, no contexto de uma semântica para a Lógica de Primeira Ordem Intuicionista? O que dizer, também, da interpretação de fórmulas quantificadas, nesta lógica? Por fim, como você acha que a relação de desigualdade poderia ser afetada, no caso intuicionista?
  • Como você demonstraria a correção da regra de congruencialidade do símbolo de igualdade?
  • Em que situações lhe pareceria viável generalizar o algoritmo das tabelas de verdade, disponível no caso proposicional, para verificar a satisfatibilidade de fórmulas de primeira ordem?

Veja também

Links externos