Table de vérité

Une table de vérité est la méthode utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur vérité relativement à chacun de leurs arguments fonctionnels. Les tables de vérité peuvent être utilisées en particulier pour dire si une proposition est vraie pour toutes les valeurs légitimement imputées, c'est-à-dire : si une proposition est « logiquement valide ».

Texte : extrait de l'article Wikipédia « Table de vérité », sous licence CC BY-SA 4.0.