قيمة الحقيقة ، في المنطق ، الحقيقة (T أو 1) أو زيف (F أو 0) لاقتراح أو بيان معين. يمكن النظر إلى الروابط المنطقية ، مثل الانفصال (يرمز “، لـ" أو ") والنفي (يرمز ∼) ، كدوال الحقيقة ، لأن القيمة الحقيقية للاقتراح المركب هي وظيفة أو كمية تعتمد على ، قيم الحقيقة لأجزائها المكونة.
يمكن بسهولة اختبار القيمة الحقيقية للبيان المركب عن طريق مخطط يعرف باسم جدول الحقيقة. يمثل كل صف من الجدول مجموعة محتملة من قيم الحقيقة للمقترحات المكونة للمركب ، ويتم تحديد عدد الصفوف من خلال عدد المجموعات الممكنة. على سبيل المثال ، إذا كان المركب يحتوي على اقتراحين فقط للمكون ، فسيكون هناك أربعة احتمالات وبالتالي أربعة صفوف في الجدول. يمكن عرض الخصائص المنطقية للوصلات المشتركة بواسطة جداول الحقيقة على النحو التالي:
حيث · تعني "و" و ⊃ تعني "إذا… ثم." (في الجدول "أو" ، على سبيل المثال ، يقرأ السطر الثاني ، "إذا كانت p صحيحة و q خاطئة ، فإن p ∨ q صحيحة.") جداول الحقيقة ذات التعقيد الأكبر بكثير ، تلك التي لها عدد من وظائف الحقيقة ، يمكن إنشاؤها بواسطة جهاز كمبيوتر. تم إنشاء أنظمة مجردة للمنطق تستخدم ثلاث قيم حقيقة (على سبيل المثال ، صحيحة ، خاطئة ، وغير محددة) أو حتى العديد ، كما هو الحال في المنطق الضبابي ، حيث يكون للافتراضات قيم بين 0 و 1.
