قيمة صواب
تعرف قيمة الصواب[1] أو قيمة الحقيقة في المنطق الرياضي بأنها القيمة التي تشير إلى أن العلاقة المفترضة هي علاقة صحيحة.[2][3] تعتبر القيمة الحقيقية في المنطق التقليدي قيمة صحيحة وخاطئة في حالتين مختلفتين ومنفصلتين من الحالات الوجود-رياضياتية، أما المنطق الإستدلالي فيفتقر لمفهوم قيمة الحقيقة لأنه يعتمد على الاستدلال أو البرهنة باستخدام الفينونيات الأولية للمنطقانية[مبهم].
يستخدم هذا المفهوم بشكل أوسع في مجال تطبيقات الجبر البولياني و اشتقاقاته في الدارات المنطقية وتطبيقات الحوسبة .
انظر أيضا[عدل]
| وظيفي: |  | |
|---|---|---|
| شكلي: | ||
| النفي: | ||
مراجع[عدل]
- ^ رأفت رياض رزق. المنطق الرياضى. ktab INC. مؤرشف من الأصل في 2020-03-11.
- ^ 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 على موقع واي باك مشين.
