فهرست مطالب

• پیش‌گفتار
• سطح کتاب
• سرفصل‌های کتاب
• درباره ویرایش دوم
• فصل اول: فرم استدلال و شیوه‌های ارزیابی آن
• معرفی منطق گزاره‌ها و فرم استدلالی
• فرم متناظر و فرم ویژه استدلال
• نمونه جانشین فرم استدلال
• قضیه نمونه جانشین
• تبدیل فرم استدلالی به فرم گزاره‌ای
• اعتبارسنجی فرم استدلال از طریق جدول ارزش
• اعتبارسنجی فرم استدلال به شیوه ارزش‌دهی
• نمونه‌خالف و چگونگی یافتن آن در استدلال‌های نامعتبر
• تمرینات و پاسخ تمرینات
• فصل دوم: استنتاج طبیعی با تقریر لمون
• معرفی استنتاج طبیعی و صورت‌برهان
• قواعد استنتاج طبیعی با تقریر لمون، از جمله:
• قاعده فرض
• نقض مضاعف
• وضع مقدم
• رفع تالی
• معرفی و حذف عطف
• معرفی فصل
• تعریف دوشرطی
• معرفی صورت برهان
• دلیل شرطی
• انتاج از فصل
• ذوالوجهین مثبت و منفی
• پخش‌پذیری و شرکت‌پذیری
• برهان خلف
• انتاج از تناقض و تبدیل تناقض
• قواعد CM و CM’
• تعریف شرطی و نقیض شرطی
• پارادوکس‌های استلزام مادی
• قواعد ابن‌سینا-دمورگان
• قاعده تعادل
• اقامه برهان بر قضایای منطقی
• تفاوت قاعده و قانون
• تمرینات و پاسخ تمرینات
• فصل سوم: استنتاج طبیعی با تقریر فیچ و کپی
• معرفی روش فیچ و کپی
• تفاوت روش فیچ و کپی با روش لمون
• قواعد مشترک روش فیچ و کپی
• قاعده اختصاصی ورود
• نمونه‌های استنتاج در نظام فیچ و کپی
• فصل چهارم: روش درختی و اصل موضوعی
• معرفی اجمالی روش درختی
• قواعد تحلیلی روش درختی
• بستن گذر و تکمیل درخت
• تشخیص نوع فرم گزاره‌ای:
• دروغ‌گوی منطقی
• راست‌گوی منطقی
• ممکن‌الصدق
• اعتبارسنجی فرم استدلال به روش درختی
• تعیین نمونه‌خالف به روش درختی
• معرفی اجمالی روش اصل موضوعی
• اصول موضوعه و تعاریف
• اثبات قضیه در نظام اصل موضوعی
• استقلال اصول از یکدیگر
• فصل پنجم: بررسی سؤالات ارشد و دکتری طی سال‌های ۱۳۸۳ تا ۱۴۰۰
• گردآوری سؤالات منطق گزاره‌ها در آزمون‌های ارشد و دکتری
• تحلیل و پاسخ تشریحی سؤالات
• اصلاح صورت برخی سؤالات با رویکرد آموزشی
• فهرست صورت‌برهان‌های منطق گزاره‌ها
• فهرست برخی قواعد مهم منطق گزاره‌ها
• فهرست منابع
• نمایه موضوعی

فصل اول: فرم استدلال و شیوه‌های ارزیابی آن
این فصل، خواننده را با منطق گزاره‌ها و فرم استدلالی آشنا می‌کند. نحوه تبدیل استدلال به فرم گزاره‌ای، مفهوم نمونه جانشین و قضیه نمونه جانشین، و همچنین روش‌های اعتبارسنجی استدلال مانند جدول ارزش و ارزش‌دهی آموزش داده می‌شود. چگونگی یافتن نمونه‌خالف در استدلال‌های نامعتبر نیز از مباحث مهم این فصل است.

فصل دوم: استنتاج طبیعی با تقریر لمون
این فصل به آموزش قواعد استنتاج طبیعی بر پایه تقریر لمون اختصاص دارد. قواعدی مانند فرض، وضع مقدم، رفع تالی، عطف، فصل، دوشرطی، دلیل شرطی، برهان خلف، انتاج از فصل، قواعد ابن‌سینا-دمورگان و پارادوکس‌های استلزام مادی معرفی و تمرین می‌شوند. در پایان فصل، بر بیش از یکصد فرم استدلالی برهان اقامه شده و تعریف قضیه منطقی و تفاوت قاعده و قانون نیز بررسی می‌شود.

فصل سوم: استنتاج طبیعی با تقریر فیچ و کپی
در این فصل، روش استنتاج طبیعی فیچ و کپی به‌اجمال معرفی می‌شود. تفاوت این روش با تقریر لمون، به‌ویژه در استفاده از خطوط عمودی و افقی و نمایش برهانک‌ها، توضیح داده می‌شود. قواعد مشترک و قاعده ورود نیز با مثال‌های استنتاجی آموزش داده می‌شود. این فصل زمینه ورود به مباحث پیشرفته‌تر در جلدهای بعدی است.

فصل چهارم: روش درختی و اصل موضوعی
این فصل دو روش دیگر برای بررسی استدلال‌ها را معرفی می‌کند. در روش درختی، قواعد تحلیلی، بستن گذر، تشخیص راستگوی منطقی، دروغ‌گوی منطقی و ممکن‌الصدق، و اعتبارسنجی استدلال بررسی می‌شود. سپس روش اصل موضوعی به‌صورت اجمالی معرفی شده و اصول موضوعه، تعاریف، اثبات قضیه و استقلال اصول توضیح داده می‌شود.

فصل پنجم: بررسی سؤالات ارشد و دکتری ۱۳۸۳ تا ۱۴۰۰
این فصل تمام سؤالات مرتبط با منطق گزاره‌ها را که در آزمون‌های کارشناسی ارشد و دکتری طی هجده سال اخیر طرح شده‌اند، گردآوری و به‌تفصیل تحلیل می‌کند. پاسخ‌ها با رویکرد آموزشی ارائه شده‌اند تا خواننده علاوه بر یافتن پاسخ، شیوه تحلیل سؤال را نیز بیاموزد. صورت برخی سؤالات نیز برای روشن‌تر شدن مطلب اصلاح شده است.