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 |
||
| (25 intermediate revisions by 2 users not shown) | |||
| Line 2: | Line 2: | ||
* '''Estruturas de interpretação''' para uma assinatura de primeira ordem<!-- | * '''Estruturas de interpretação''' para uma assinatura de primeira ordem<!-- | ||
| − | --><p> | + | --><p>{{#ev:youtube|QL_mxL3_QVg}}</p> |
* '''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> | + | --><p>{{#ev:youtube|DvSK3t-7POQ}}</p> |
| + | * '''Modelos de primeira ordem''', e ''interpretações pretendidas''<!-- | ||
| + | --><p>{{#ev:youtube|Tuj0RRKuUSo}}</p> | ||
* Alocações ''variantes'': coincidentes a menos de exceções locais<!-- | * Alocações ''variantes'': coincidentes a menos de exceções locais<!-- | ||
| − | --><p> | + | --><p>{{#ev:youtube|WU57rb6AGRE}}</p> |
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!-- | * '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!-- | ||
| − | --><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''<!-- | |
| − | + | --><p>{{#ev:youtube|RTlRlxsRzjA}}</p> | |
| − | * Interpretação da '''igualdade''' como a identidade<!-- | ||
| − | --><p> | ||
| − | == | + | == Noções de acarretamento associadas == |
| − | * | + | * '''Consequência semântica''' para a Lógica de Primeira Ordem Clássica:<!-- |
| − | --><p>[ | + | --><p>ver [[Acarretamento]]</p> |
== Para reflexão == | == Para reflexão == | ||
| − | * | + | * Como você procederia para tentar verificar a seguinte igualdade? <math>[\![ t [x \mapsto u ] ]\!]^{<I,\rho>} = [\![ t ]\!]^{<I,\rho[x := [[u]]^{<I,\rho>} ]>}</math> |
| + | * 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? | ||
| + | * Em que situações lhe pareceria viável generalizar o algoritmo das tabelas de verdade, disponível no caso proposicional, para verificar a satisfatibilidade de fórmulas de primeira ordem? | ||
== Veja também == | == Veja também == | ||
| − | * [[Sintaxe da | + | * [[Sintaxe da lógica de primeira ordem]] |
| − | * [[Semântica formal para a | + | * [[Semântica formal para a lógica de primeira ordem]] |
* [[Acarretamento]] (consequência semântica, ''entailment'') | * [[Acarretamento]] (consequência semântica, ''entailment'') | ||
* [[Quantificadores]] | * [[Quantificadores]] | ||
* [[Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica]] | * [[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]] | * [[Correção e completude para a Lógica de Primeira Ordem Clássica]] | ||
| + | * [[Introdução Computacional à Lógica Matemática]] | ||
== Links externos == | == Links externos == | ||
| − | * | + | * [http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de Primeira Ordem] |
| + | * [http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 Interpretação (lógica)] | ||
| + | * [http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 Valoração (lógica)] | ||
Latest revision as of 15:45, 22 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ções de acarretamento associadas
- Consequência semântica para a Lógica de Primeira Ordem Clássica:
ver Acarretamento
Para reflexão
- Como você procederia para tentar verificar a seguinte igualdade?
- 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?
- Em que situações lhe pareceria viável generalizar o algoritmo das tabelas de verdade, disponível no caso proposicional, para verificar a satisfatibilidade de fórmulas de primeira ordem?
![{\displaystyle [\![t[x\mapsto u]]\!]^{<I,\rho >}=[\![t]\!]^{<I,\rho [x:=[[u]]^{<I,\rho >}]>}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33f9e15c0afd1f835da6cfba25d0761415792c8c)
Veja também
- Sintaxe da lógica de primeira ordem
- Semântica formal para a lógica de primeira ordem
- 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
- Introdução Computacional à Lógica Matemática
