Difference between revisions of "Semântica formal para a Lógica de Primeira Ordem Clássica"
Jump to navigation
Jump to search
(vídeo adicionado) Tag: 2017 source edit |
(vídeo adicionado) Tag: 2017 source edit |
||
| Line 11: | Line 11: | ||
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!-- | * '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!-- | ||
--><p>{{#ev:youtube|LO4CZ6yvqfE}}</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'' e ''para fórmulas quantificadas'' induzidas por uma assinatura de primeira ordem<!-- |
| − | --><p> | + | --><p>{{#ev:youtube|S4bDWqwCGZ4}}</p> |
| − | |||
| − | |||
* Interpretação da '''igualdade''' como a ''identidade''<!-- | * Interpretação da '''igualdade''' como a ''identidade''<!-- | ||
--><p>[VIDEO]</p> | --><p>[VIDEO]</p> | ||
Revision as of 03:55, 30 September 2020
Contents
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 e para fórmulas quantificadas induzidas por uma assinatura de primeira ordem
- 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
