Abstract

Pensons aux divers énoncés qui peuvent être composés à partir d'un ensemble fini ou dénombrable d'énoncés atomiques à l'aide de, disons, ‘˜’ et ‘&’; soit A n'importe lequel de ces énoncés; et soit l'ensemble SA des composantes atomiques de A. La valeur de vérité de A dépend évidemment des valeurs de vérité de certains membres de SA. En effet, si aux valeurs de vérité Vrai et Faux sont substitués les entiers 1 et 0, respectivement; la valeur de vérité VVV d'une négation ˜A est 1–VV; et la valeur de vérité VV d'une conjonction A & B est min, VV), alors la valeur de vérité de A s'avère être une fonction numérique des valeurs de vérité de certains membres de SA. Et les fonctions de valeurs de vérité sont dites, à titre de résultat, récursivement définissables.