راهنمایی کوتاه: این یک تمرین منطق ریاضی است که باید از دو گزاره دادهشده، نتیجهگیری درستی انجام دهی.
گامبهگام:
- جمله اول میگوید: «در هر مربع، قطرها با هم برابرند.» این یک حکم کلی درباره مربع است.
- جمله دوم میگوید: «در چهارضلعی ABCD، قطرها با هم برابر نیستند.» این یک حکم خاص درباره شکل ABCD است.
- حال باید ببینیم چه رابطهای بین این دو گزاره وجود دارد. اگر شکل ABCD یک مربع بود، طبق گزاره اول، قطرهایش باید برابر میبودند.
- اما گزاره دوم میگوید قطرهای ABCD برابر نیستند. پس این شکل نمیتواند مربع باشد.
- بنابراین نتیجهگیری منطقی این است: «پس ABCD یک مربع نیست.»
پاسخ نهایی: در جای خالی میتوان این جمله را قرار داد: «پس ABCD یک مربع نیست.»
مثال مشابه: فرض کن جمله اول بگوید: «هر پرندهای بال دارد.» و جمله دوم بگوید: «این جانور بال ندارد.» نتیجه منطقی این است: «پس این جانور پرنده نیست.»
اگر میخواهی بیشتر یاد بگیری: این نوع استدلال در منطق ریاضی «قیاس استثنایی» نام دارد. اگر علاقهمند هستی، میتوانی درباره انواع استدلالهای منطقی (مانند قیاس اقترانی و استثنایی) بیشتر مطالعه کنی.