Une valeur de vérité est une valeur attribuée à chaque énoncé de la logique au travers de fonctions dont il faudra définir les règles de composition nécessaires pour attribuer des valeurs de vérités à des énoncés complexes en partant des valeurs attribuées à des énoncés simples qui les composent. Le plus souvent, les valeurs des énoncés vrais ou faux sont notées 1 ou 0 respectivement.