Difference between revisions of "Semântica formal para a Lógica de Primeira Ordem Clássica"
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
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 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
- 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
