Doğru (mantık)
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]Kaynakça
[değiştir | kaynağı değiştir]- ^ 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.
- ^ 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.
| Fonksiyonel: |  | |
|---|---|---|
| Formel: | ||
| Olumsuzlama | ||