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
(vídeo adicionado)
Tag: 2017 source edit
(vídeo adicionado)
Tag: 2017 source edit
Line 10: Line 10:
 
--><p>{{#ev:youtube|WU57rb6AGRE}}</p>
 
--><p>{{#ev:youtube|WU57rb6AGRE}}</p>
 
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
 
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
--><p>[VIDEO]</p>
+
--><p>{{#ev:youtube|LO4CZ6yvqfE}}</p>
 
* Noção de '''satisfação''' ''para fórmulas relacionais'' induzidas por uma assinatura de primeira ordem<!--
 
* Noção de '''satisfação''' ''para fórmulas relacionais'' induzidas por uma assinatura de primeira ordem<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>

Revision as of 00:36, 29 September 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 induzidas por uma assinatura de primeira ordem

    [VIDEO]

  • Noção de satisfação para fórmulas quantificadas

    [VIDEO]

  • Interpretação da igualdade como a identidade

    [VIDEO]

Noção de acarretamento associada

  • Versões alternativas de consequência semântica para a Lógica de Primeira Ordem Clássica

    [VIDEO]

Para reflexão

Veja também

Links externos