Affectation de Vérité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une fonction qui assigne des valeurs de vérité (généralement Vrai ou Faux) à des variables propositionnelles ou à des atomes ground dans une structure donnée, utilisée pour évaluer des formules ou tester la satisfiabilité.