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

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

إنه أول كتاب باللغة العربية يحوي حلولاً مفصلة لمئات التمارين، التي تمثل مساعدة حقيقية للقارئ لتثبيت المعالجات النظرية المعاصرة في هذا الكتاب.