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