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

تعرف '''قيمة الحقيقة''' في [[منطق|المنطق]] [[رياضيات|الرياضي]] بأنه القيمة التي تشير إلى أن العلاقة [[افتراض|المفروضة]] هي علاقة صحيحة.<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=http://web.archive.org/web/20171008231458/http://www.semantique-gdr.net/dico/index.php/Compositionalit%C3%A9:_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]</ref> تعتبر القيمة الحقيقة في [[منطق تقليدي|المنطق التقليدي]] هي إما قيمة صحيحة أو خاطئة, أما [[منطق استدلالي|المنظق الاستدلالي]] يفتقر إلى مفهوم قيمة الحقيقة لانه يعتمد على الاستدلال.