و جدول الحقيقة هو منطق استراتيجية ببساطة أن يحدد صلاحية عدة مقترحات بشأن أي حالة، أي يحدد الشروط اللازمة ليكون البيان صحيحا المقترحة، مما يسمح تصنيفها إلى حشو (صحيحة لأية حالة) متناقضة (البيانات خاطئة في معظم الحالات) أو عرضية (العبارات التي لا يمكن أن تكون كثيرة صحيحة وكاذبة لا تميل إلى اتجاه واحد).
يسمح بجوانب مختلفة من البيان مثل الشروط التي تجعله صحيحًا وما هي استنتاجاته المنطقية ، أي إذا كانت العبارة المقترحة صحيحة أم خاطئة. ابتكر هذا الجدول تشارلز ساندر بيرس حوالي عام 1880 ، ولكن الأكثر استخدامًا هو النموذج المحدث بواسطة لودوين فيتجنشتاين في عام 1921.
يعتمد بناء الجدول على استخدام حرف للمتغيرات الناتجة ويتم استيفائها ويقال أنها صحيحة ، وفي الحالة المعاكسة لم يتم الوفاء بها ، يتم تخصيص اسم خطأ ، على سبيل المثال: البيان: "إذا تحركنا يموت كلبي" . المتغيرات: أ: إذا تحرك - ب: يموت الكلب.
إذا قيل أنه صحيح لكلا المتغيرين ، يتم تعيين الحرف (V) ويمثل إيجابية العبارة ، إذا لم يتم استيفاء بعض المتغيرات ، يتم تعيين الحرف (F) لهم ، وهذا لا يمثل زيف العبارة منذ مع إذا تم استيفاء متغير واحد فقط ، فيمكن تحديده على أنه صحيح ، وسيعتمد ذلك على العبارة. عندما تكون كلتا القيمتين صحيحتين في جميع الأوقات ، يُقال أن هناك اقترانًا في البيان ، من ناحية أخرى ، إذا تم الحصول على نتيجتين حقيقيتين ، ثم واحدة صحيحة والأخرى خاطئة ، يقال أن هناك انفصال.
