Affectation de Vérité

Une fonction (souvent appelée valuation ou affectation de vérité) qui associe des variables propositionnelles ou des atomes à des valeurs de vérité dans un cadre sémantique donné et qui s'étend aux formules complexes selon les clauses sémantiques de la logique.

Une application v d'un corps ou d'un anneau vers un groupe abélien totalement ordonné (souvent R∪{∞} ou Z∪{∞}) qui mesure taille ou divisibilité, est multiplicative (v(xy)=v(x)+v(y) en notation additive) et satisfait une inégalité triangulaire adaptée v(x+y) ≥ min(v(x),v(y)) dans le cas non archimédien.