جدول الصدق ( Truth table )

جدول الصدق طريقة توضيح العلاقات المنطقية. يستخدم هذه الجداول علماء الحاسوب وعلماء المنطق والآخرون الذين يستنبطون بوسائل المنطق الرمزي.

ولفهم جداول الصدق يجب أن نفهم أولا بعض أفكار المنطق. فالجملة البيانية الأساسية هي جملة خبرية إذا كان سيصنف معناها من حيث إنها صدق أو كذب، مثال ذلك: الجملتان: الباب مفتوح، مصباح الضوء لم يحترق كلتاهما جملتان خبريتان.

يمكن تكوين محتوى خبريّ عند دمج عدد محدود من الجمل الخبرية. فيمكن مثلاً دمج الجملتين الخبريتين أعلاه لتكوين محتوى أو إلقاء خبري (سيضيء ضوء الثلاجة، إذا كان البابُ مفتوحاً ولم يحترق مصباح الضوء).

إن صدق أو كذب المحتوى الخبري يعتمد على إثبات أو تكذيب كل جملة خبرية أساسية، على الطريقة التي يربط بها المحتوى الجمل.

يبدو جدول الصدق المتوافق مع المحتوى الخبري أعلاه كالآتي :

يوضح الجدول كل مجموعات القيم الحقيقية وغير الحقيقية التي يمكن إرجاعها إلى الجمل الخبرية الأساسية. يكتمل الجدول بالإشارة إلى صدق أو كذب المحتوى الخبري لكل باب في القائمة.