Semântica formal para a Lógica de Primeira Ordem Clássica
Jump to navigation
Jump to search
Contents
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 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 predicados e para sentenças com quantificadores
[VIDEO]
- Noção de satisfação para fórmulas, com ênfase no caso das fórmulas quantificadas
[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
- Acarretamento (consequência semântica, entailment)
- Correção e completude para a Lógica de Primeira Ordem Clássica
- Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
