Doğruluk değeri

Mantıkta ve matematikte, bir doğruluk değeri[1] ya da mantıksal değer, bir önermenin doğruluk ile ilişkisini belirleyen bir değerdir.

Klasik mantık

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. 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ı eşitlik anlamına gelir. Tümleme ise doğru ve yanlış arasında 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:

$\neg (p\land q)\iff \neg p\lor \neg q$

$\neg (p\lor q)\iff \neg p\land \neg q$

Kaynakça

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

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