Valoração (lógica) - Valuation (logic)

Em lógica e teoria dos modelos , a avaliação pode ser:

lógica matemática

Na lógica matemática (especialmente a teoria do modelo), uma avaliação é uma atribuição de valores de verdade para sentenças formais que segue um esquema de verdade . As valorizações são também chamados de atribuições de verdade.

Na lógica proposicional, não há quantificadores e fórmulas são construídas a partir de variáveis ​​proposicionais usando conectivos lógicos. Neste contexto, uma avaliação começa com uma atribuição de um valor de verdade para cada variável proposicional. Esta atribuição pode ser estendida de forma única para uma atribuição de valores de verdade para todas as fórmulas proposicionais.

Na lógica de primeira ordem, uma linguagem consiste de uma coleção de símbolos constantes, uma coleção de símbolos de função, e uma coleção de símbolos de relação. As fórmulas são construídas a partir de fórmulas atômicas usando conectivos lógicos e quantificadores. A estrutura é constituída por um conjunto ( domínio de discurso ) que determina o intervalo dos quantificadores, juntamente com as interpretações do, função constante, e símbolos de relação na língua. Correspondente a cada estrutura é uma atribuição única verdade para todas as frases (fórmulas sem variáveis livres ) na língua.

Notação

Se é uma avaliação, isto é, um mapeamento a partir dos átomos para o conjunto , em seguida, a notação de duplo suporte é vulgarmente usado para designar uma avaliação; isto é, para uma proposição .

Veja também

Referências