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
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 18: Line 18:
 
== Noção de acarretamento associada ==
 
== Noção de acarretamento associada ==
  
* Versões alternativas de '''consequência semântica''' para a Lógica de Primeira Ordem Clássica<!--
+
* '''Satisfatibilidade''' vs '''validade''', e '''verdade'''/'''falsidade''' em uma interpretação<!--
 +
--><p>[VIDEO]</p>
 +
* '''Consequência semântica''' para a Lógica de Primeira Ordem Clássica<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
  

Revision as of 19:31, 5 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ção de acarretamento associada

  • Satisfatibilidade vs validade, e verdade/falsidade em uma interpretação

    [VIDEO]

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

    [VIDEO]

Para reflexão

  • 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?

Veja também

Links externos