قيمة صواب

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

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

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

انظر أيضا[عدل]

مراجع[عدل]

  1. ^ رأفت رياض رزق. المنطق الرياضى. ktab INC. مؤرشف من الأصل في 11 مارس 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)
  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 على موقع واي باك مشين.

وصلات خارجية[عدل]

E-to-the-i-pi.svg
هذه بذرة مقالة عن المنطق بحاجة للتوسيع. شارك في تحريرها.
Nuvola apps edu mathematics-ar.svg
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. شارك في تحريرها.