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. Doğrunun yaygın gösterimleri 1 (özellikle Boolcu mantık ve bilgisayar bilimlerinde) ve T sembolüdür (⊤).