کتاب درآمد به منطق

۱- منطق مدرن و زبان نمادین آن

۲- تابع-ارزشی‌ها، گزاره‌های ساده و مرکب (عطف، نقض و فصل)

۳- گزاره‌های‌ شرطی (استلزام مادی)

۴- صورت‌های استدلال، ابطال منطقی

۵- دقت در معنی "اعتبار"

۶- آزمون اعتبار استدلال بر پایه جدول ارزش

۷- نگاه به ‌برخی صور رایج استدلال

۸- صورت گزاره‌ای و هم‌ارزی مادی

۹- هم‌ارزی منطقی

۱۰- سه قانون اندیشه

ضمیمه به فصل نهم:

۱- برهان صوری اعتبار

۲- صور استدلال‌های معتبر مقدماتی

۳- نمایان کردن برهان صوری اعتبار

۴- ساختن برهان صوری اعتبار

۵- ساختن برهان‌های صوری گسترده‌تر اعتبار

۶- گسترش قواعد استنتاج

۷- دستگاه استنتاج طبیعی

۸- ساختن برهان صوری اعتبار با کارزدن نوزده قاعده استنتاج

۹- تکنیک‌ کوتاه‌‌تر جدول ارزش

۱۰- ناسازگاری

۱۰۱- برهان شرطی

۱۱- برهان غیرمستقیم اعتبار (برهان خلف)

۱۲- تمیز استدلال‌های متقن و استدلال‌های برنمایانگر

پ.۱- برهان شرطی و مفهوم قضیه در منطق (پیوست۱)

پ.۲- برهان شرطی و برهان غیر مستقیم (پیوست۲)

پ.۳- درخت معنایی و آلگوریتم آن در آزمون اعتبار (پیوست۳)

آ- تمرینات حل‌شده‌ بیشتر (استفاده فقط از ۹ قاعده استنتاج)

ب- تمرینات حل‌شده‌ بیشتر (استفاده از ۱۹ قاعده استنتاج)

۱- نیازمندی به سور

۲- گزاره‌های شخصی

۳- سور عمومی و سور وجودی

۴- گزاره‌های سنتی موضوع - محمول

۵- اثبات اعتبار

۶- جهان ممکن، مدل و اثبات عدم ‌اعتبار

۷- استنتاج ناقیاسی