| Information | |
|---|---|
| has gloss | eng: In logic and model theory, a valuation can be: *In propositional logic, an assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables. *In first-order logic and higher-order logics, a structure, and the corresponding assignment of a truth value to each sentence in the language for that structure. |
| lexicalization | eng: valuation |
| instance of | c/Semantic units |
| Meaning | |
|---|---|
| Portuguese | |
| has gloss | por: Atribuição pode ser visto como uma noção auxiliar, um passo importante na busca de definir formalmente o conceito de verdade (por exemplo para as teorias de primeira ordem). Ela nos possibilita dar significados a termos de uma linguagem que lida com variáveis livres. |
| lexicalization | por: atribuição |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint