منطق و استدلال تحلیلی
این حوزه استدلال قیاسی، جدول‌های منطقی و ترتیب‌ها را می‌سنجد. پرسش‌ها از قیاس‌های مقوله‌ای، شرطی‌ها و چینش‌های تحلیلی ساخته می‌شوند.
قواعد
- قیاس معتبر: اگر همه Aها B باشند و همه Bها C، آنگاه همه Aها C هستند.
- عکس نقیض معتبر است: اگر A آنگاه B، نتیجه می‌شود اگر نه B آنگاه نه A.
- عکس مستوی همیشه معتبر نیست.
- «برخی Aها B هستند» با «برخی Bها A هستند» معادل است.
مثال حل‌شده
پرسش: همه الف‌ها ب هستند و برخی ب‌ها ج هستند. آیا می‌توان نتیجه گرفت برخی الف‌ها ج هستند؟ خیر. ممکن است هیچ الفی ج نباشد و فقط بخشی از ب‌ها که الف نیستند ج باشند. برای نتیجه‌گیری وجودی باید دست‌کم یک الف در ج باشد.
چینش تحلیلی
- ابتدا قیدهای ثابت را در جدول بنویسید.
- قیدهای منفی را حذف کنید.
- گزینه‌هایی را که یک قید را نقض می‌کنند کنار بگذارید.
دام‌های آزمون
- تأیید تالی: از A→B و B نتیجه A گرفته می‌شود.
- تبدیل «برخی» به «همه».
- نادیده گرفتن «فقط» در قیدها.
- اشتباه گرفتن شرط لازم و کافی.