Back አስገዳጅ ዕውነት AM حقيقة منطقية Arabic Veritat lògica Catalan ڕاستیی لۆژیکی CKB Logisk sandhed Danish Logical truth English Verdad lógica Spanish حقیقت منطقی FA Vérité logique French Verdade lóxica GL
Prawda – jedna z dwóch podstawowych wartości logicznych. Drugą jest fałsz.
Według filozoficznej koncepcji matematycznego formalizmu prawda jest jedynie symbolem i nie ma żadnego głębszego znaczenia, czym różni się od swojego potocznie używanego odpowiednika.
W koncepcji matematycznego platonizmu prawda posiada swój wewnętrzny sens.
Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to tautologia.