| 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.
| Veja mais na Wikipédia.org... |
© Esse artigo usa material da Wikipédia® sob a licença Licença GNU de Documentação Livre e sob nos termos da licença Creative Commons Attribution-ShareAlike
