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 14: | Line 14: | ||
--><p>{{#ev:youtube|S4bDWqwCGZ4}}</p> | --><p>{{#ev:youtube|S4bDWqwCGZ4}}</p> | ||
* Interpretação da '''igualdade''' como a ''identidade''<!-- | * Interpretação da '''igualdade''' como a ''identidade''<!-- | ||
| − | --><p> | + | --><p>{{#ev:youtube|RTlRlxsRzjA}}</p> |
== Noção de acarretamento associada == | == Noção de acarretamento associada == | ||
| Line 24: | Line 24: | ||
* O que você acha que deve mudar, na interpretação de fórmulas relacionais, no contexto de uma semântica para a ''Lógica de Primeira Ordem Intuicionista''? O que dizer, também, da interpretação de fórmulas quantificadas, nesta lógica? Por fim, como você acha que a relação de ''desigualdade'' poderia ser afetada, no caso intuicionista? | * O que você acha que deve mudar, na interpretação de fórmulas relacionais, no contexto de uma semântica para a ''Lógica de Primeira Ordem Intuicionista''? O que dizer, também, da interpretação de fórmulas quantificadas, nesta lógica? Por fim, como você acha que a relação de ''desigualdade'' poderia ser afetada, no caso intuicionista? | ||
| + | * Como você demonstraria a ''correção'' da regra de congruencialidade do símbolo de igualdade? | ||
== Veja também == | == Veja também == | ||
Revision as of 23:00, 2 October 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
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
- O que você acha que deve mudar, na interpretação de fórmulas relacionais, no contexto de uma semântica para a Lógica de Primeira Ordem Intuicionista? O que dizer, também, da interpretação de fórmulas quantificadas, nesta lógica? Por fim, como você acha que a relação de desigualdade poderia ser afetada, no caso intuicionista?
- Como você demonstraria a correção da regra de congruencialidade do símbolo de igualdade?
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
