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