Doğruluk değeri
Mantıkta ve matematikte, bir doğruluk değeri ya da mantıksal değer, bir önermenin doğruluk ile ilişkisini belirleyen bir değerdir. Klasik mantıkta doğruluk değerleri doğru (1 ya da \top) ve yanlış (0 ya da \bot) olabilir; yani klasik mantık iki değerlidir. Bu iki değerden oluşan küme aynı zamanda Bool tanım kümesi olarak adlandırılır.