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