Semântica formal para a Lógica de Primeira Ordem Clássica

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

  [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 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]

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)
• Quantificadores
• Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
• Correção e completude para a Lógica de Primeira Ordem Clássica