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ık bağlacı|Mantık bağlaçları]]nı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. [[Tümleme bağlacı|Tümleme]] ise doğru ve yanlış arasında [[Birebir örten fonksiyon|birebir]] ilişki kurar. [[Veya bağlacı]] ile [[ve bağlacı]] birbirinin tümleyenidir ve bu ilişki [[De Morgan yasası]]na göre şöyle ifade edilir:

 

 

 

==Kaynakça==