| Wikipédia em português - A enciclop... |
Valoração (lógica)
Na
lógica e na
Teoria dos modelos, uma
valoração pode ser:
- Na Lógica proposicional, uma atribuição de valores-verdade para variáveis proposicionais, com uma atribuição correspondente de valores-verdade para todas as fórmulas proposicionais com essas variáveis.
- Na Lógica de primeira ordem e lógicas de ordem superior, uma estrutura, (a interpretação) e a atribuição correspondente de um valor-verdade para cada sentença na linguagem para essa estrutura. A interpretação deve ser um homomorfismo, enquanto que a valoração é simplesmente uma função.