تعرف '''قيمة الحقيقة''' في [[المنطق]] [[رياضيات|الرياضي]] بأنهبأنها القيمة التي تشير إلى أن العلاقة [[افتراض (توضيح)|المفروضةالمفترضة]] هي علاقة صحيحة.<ref>[http://www.semantique-gdr.net/dico/index.php/Compositionalit%C3%A9:_questions_conceptuelles Compositionnalité : questions philosophiques]. In D. Godard, L. Roussarie et F. Corblin (éd.), Sémanticlopédie : dictionnaire de sémantique {{Webarchive|url=https://web.archive.org/web/20171008231458/http://www.semantique-gdr.net/dico/index.php/Compositionalité:_questions_conceptuelles |date=08 أكتوبر 2017}}</ref><ref>[http://plato.stanford.edu/entries/intuitionistic-logic-development/#4.3 Proof that intuitionistic logic has no third truth value, Glivenko 1928] {{Webarchive|url=https://web.archive.org/web/20180911093509/https://plato.stanford.edu/entries/intuitionistic-logic-development/ |date=11 سبتمبر 2018}}</ref> تعتبر القيمة الحقيقةالحقيقية في [[منطق تقليدي|المنطق التقليدي]] هي إما قيمة صحيحة أوو خاطئة, في حالتين مختلفتين و منفصلتين من الحالات الوجود-رياضياتية ، أما [[منطق استدلالي|المنظقالمنطق الاستدلاليالإستدلالي]] يفتقرفيفتقر إلى مفهوملمفهوم قيمة الحقيقة لانهلأنه يعتمد على الاستدلالالإستدلال أو البرهنة باستخدام الفينونيات الأولية للمنطقانية .
يستخدم هذا المفهوم بشكل واسعأوسع في مجال تطبيقات [[جبر بولياني|الجبر البولياني]] وتطبيقاتهو اشتقاقاته في [[بوابة منطقية|الدارات المنطقية]] وتطبيقات الحاسوبالحوسبة .
