valuació

f
Matemàtiques

Funció que fa correspondre a cada proposició el seu valor de veritat, si aquest existeix.

En el cas de la lògica binària clàssica els únics valors de veritat que s’admeten són veritat (1) i fals (0), però en les lògiques polivalents hom accepta un tercer valor (1/2) que admet interpretacions diverses (per exemple, possible o indeterminat). La taula de veritat (bivaluada o polivalent) de dues proposicions reflecteix totes les possibles valuacions o assignacions de valors de veritat.