قيمة صواب

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

تعرف قيمة الصواب[1] أو قيمة الحقيقة في المنطق الرياضي بأنها القيمة التي تشير إلى أن العلاقة المفترضة هي علاقة صحيحة.[2][3] تعتبر القيمة الحقيقية في المنطق التقليدي قيمة صحيحة وخاطئة في حالتين مختلفتين ومنفصلتين من الحالات الوجود-رياضياتية، أما المنطق الإستدلالي فيفتقر لمفهوم قيمة الحقيقة لأنه يعتمد على الاستدلال أو البرهنة باستخدام الفينونيات الأولية للمنطقانية[مبهم].

يستخدم هذا المفهوم بشكل أوسع في مجال تطبيقات الجبر البولياني و اشتقاقاته في الدارات المنطقية وتطبيقات الحوسبة .

انظر أيضا

مراجع

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

وصلات خارجية