Doğruluk değeri: Revizyonlar arasındaki fark

[[Klasik mantık]]ta doğruluk değerleri '''[[Doğru (mantık)|doğru]]''' ('''1''' ya da <math>\top</math>) ve '''[[Yanlış (mantık)|yanlış]]''' ('''0''' ya da <math>\bot</math>) olabilir; yani klasik mantık iki değerlidir. Bu iki değerden oluşan küme aynı zamanda [[Boole'ca|Bool tanım kümesi]] olarak adlandırılır. [[MantıksalMantık bağlaçbağlacı|Mantık bağlaçları]]larınnın anlamsal karşılığı [[doğruluk tablosu]] olarak ifade edilen doğruluk fonksiyonlarıdır. [[Ancak ve ancak|İki koşulluluk]] karşılıklı [[Eşitlik (matematik)|eşitlik]] anlamına gelir. [[OlumsuzlamaTümleme bağlacı|Tümleme]] ise doğru ve yanlış arasında [[Birebir örten fonksiyon|birebir]] ilişki kurar. [[VEYAVeya bağlacı]] ile [[VEve bağlacı]] olumsuzlamayatümlemeye göre birbirinin çiftidir ve [[De Morgan yasası]]na göre şöyle ifade edilir: