Doğru (mantık) - Vikipedi

Mantıkta, doğru olumlu doğruluk değerine sahip olma durumudur. Tümleyeni doğru ile birlikte, doğruluk fonksiyonlu önermeler mantığında kullanılan iki doğruluk değerinden biridir.[1] Doğrunun yaygın gösterimleri 1 (özellikle Boolcu mantık ve bilgisayar bilimlerinde) ve T sembolüdür (⊤).[2]

Ayrıca Bakınız

[değiştir | kaynağı değiştir]
  1. ^ Jennifer Fisher, On the Philosophy of Logic, Thomson Wadsworth, 2007, 0-495-00888-5, p. 17. 11 Mart 2020 tarihinde Wayback Machine sitesinde arşivlendi.
  2. ^ Willard Van Orman Quine, Methods of Logic, 4th ed, Harvard University Press, 1982, 0-674-57176-2, p. 34. 2 Mayıs 2013 tarihinde Wayback Machine sitesinde arşivlendi.