Mantıksal değer

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ık

doğruluk değerleri (1 ya da ${\displaystyle \top }$) ve yanlış (0 ya da ${\displaystyle \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. Mantık bağlaçlarının anlamsal karşılığı doğruluk tablosu olarak ifade edilen doğruluk fonksiyonlarıdır. İki koşulluluk karşılıklı anlamına gelir. ise doğru ve yanlış arasında birebir ilişki kurar. ile birbirinin tümleyenidir ve bu ilişki De Morgan yasasına göre şöyle ifade edilir:

${\displaystyle \neg (p\land q)\iff \neg p\lor \neg q}$

${\displaystyle \neg (p\lor q)\iff \neg p\land \neg q}$

Kaynakça

1. ^ Teo Grunberg (2005). "Bilgi Teorisi ve Gettier Problemi". Felsefe ve Felsefi Mantık Yazıları. İstanbul: YKY.