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 5: Line 5:
 
* '''Alocações de valores para os símbolos de variável''' sobre uma estrutura de interpretação<!--
 
* '''Alocações de valores para os símbolos de variável''' sobre uma estrutura de interpretação<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
* Alocações ''coincidentes a menos de exceções locais''<!--
+
* Alocações ''variantes'': coincidentes a menos de exceções locais<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
 
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
 
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
Line 12: Line 12:
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
 
* Noção de '''satisfação''' ''para fórmulas quantificadas''<!--
 
* Noção de '''satisfação''' ''para fórmulas quantificadas''<!--
 +
--><p>[VIDEO]</p>
 +
* Interpretação da '''igualdade''' como a identidade<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
  
Line 25: Line 27:
 
== Veja também ==
 
== Veja também ==
  
 +
* [[Sintaxe da Lógica de Primeira Ordem]]
 +
* [[Semântica formal para a Lógica Proposicional Clássica]]
 
* [[Acarretamento]] (consequência semântica, ''entailment'')
 
* [[Acarretamento]] (consequência semântica, ''entailment'')
 
* [[Quantificadores]]
 
* [[Quantificadores]]

Revision as of 11:22, 26 September 2020

Interpretações

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

    [VIDEO]

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

    [VIDEO]

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

    [VIDEO]

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

    [VIDEO]

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

    [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