تعرف قيمة الصواب[1] أو قيمة الحقيقة في المنطق الرياضي بأنها القيمة التي تشير إلى أن العلاقة المفترضة هي علاقة صحيحة.[2][3] تعتبر القيمة الحقيقية في المنطق التقليدي قيمة صحيحة وخاطئة في حالتين مختلفتين ومنفصلتين من الحالات الوجود-رياضياتية، أما المنطق الإستدلالي فيفتقر لمفهوم قيمة الحقيقة لأنه يعتمد على الاستدلال أو البرهنة باستخدام الفينونيات الأولية للمنطقانية.
يستخدم هذا المفهوم بشكل أوسع في مجال تطبيقات الجبر البولياني و اشتقاقاته في الدارات المنطقية وتطبيقات الحوسبة .
مقالات ذات صلة
مراجع
- رأفت رياض رزق. المنطق الرياضى. ktab INC. مؤرشف من الأصل في 11 مارس 2020.
- Compositionnalité : questions philosophiques. In D. Godard, L. Roussarie et F. Corblin (éd.), Sémanticlopédie : dictionnaire de sémantique نسخة محفوظة 08 أكتوبر 2017 على موقع واي باك مشين.
- Proof that intuitionistic logic has no third truth value, Glivenko 1928 - تصفح: نسخة محفوظة 11 سبتمبر 2018 على موقع واي باك مشين.