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.Jennifer Fisher, On the Philosophy of Logic, Thomson Wadsworth, 2007, , p. 17.   Doğrunun yaygın gösterimleri 1 (özellikle Boolcu mantık ve bilgisayar bilimlerinde) ve T sembolüdür (⊤).Willard Van Orman Quine, Methods of Logic, 4th ed, Harvard University Press, 1982, , p. 34. 

 Ayrıca Bakınız 
 Yanlış (mantık)

 Kaynakça 

Kategori:Mantık bağlaçları