قيمة صواب: الفرق بين النسختين

تعرف '''قيمة الحقيقة''' في [[المنطق]] [[رياضيات|الرياضي]] بأنها القيمة التي تشير إلى أن العلاقة [[افتراض (توضيح)|المفترضة]] هي علاقة صحيحة.<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> تعتبر القيمة الحقيقية في [[منطق تقليدي|المنطق التقليدي]] قيمة صحيحة و خاطئة في حالتين مختلفتين و منفصلتين من الحالات الوجود-رياضياتية ، أما [[منطق استدلالي|المنطق الإستدلالي]] فيفتقر لمفهوم قيمة الحقيقة لأنه يعتمد على الاستدلال أو البرهنة باستخدام {{عبارة مبهمة|الفينونيات الأولية للمنطقانية{{عبارة مبهمة}}.