قيمة الحقيقة

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

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

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

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

مراجع[عدل]

  1. ^ Compositionnalité : questions philosophiques. In D. Godard, L. Roussarie et F. Corblin (éd.), Sémanticlopédie : dictionnaire de sémantique
  2. ^ Proof that intuitionistic logic has no third truth value, Glivenko 1928

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

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