درسنامه آموزشی منطق کلاس دهم انسانی و معارف
درس 7: احکام قضایا
مربع تفاضل
اگر قضیهٔ موجبهٔ کلیه «هر دانشآموزی دارای کتاب درسی است» صادق باشد، نام قضایای زیر و صدق و کذب آنها را تعیین کنید:
1- هر دانش آموزی دارای کتاب درسی است.
2- هیچ دانش آموزی دارای کتاب درسی نیست.
3- بعضی از دانش آموزان دارای کتاب درسی هستند.
4- بعضی از دانش آموزان دارای کتاب درسی نیستند.
چنان که ملاحظه میکنید، چهار قضیهٔ محصوره از نظر صدق و کذب و تغییر کمیت و کیفیت، دارای روابطی با یکدیگر هستند که در این درس به بررسی آنها میپردازیم. برای آنکه بهتر بتوانند رابطهٔ دو به دوی میان این قضایا را مشخص کنند، آنها را در مربع زیر قرار میدهند و آن را «مربع تقابل» مینامند. مربع متقابل نشان میدهد که میان قضایای محصوره حداقل چهار رابطهٔ زیر وجود دارند:

1- تناقض
رابطهٔ شماره (1) در مربع تقابل «تناقض» نامیده میشود. رابطهٔ تناقض میان قضیههای موجبهٔ کلیه و سالبهٔ جزئیه و میان سالبهٔ کلیه و موجبهٔ جزئیه برقرار است. با تغییر کمیت و کیفیت یک قضیه میتوان به «متناقض» (نقیض) آن قضیه دست یافت. برای بررسی رابطهٔ صدق و کذب میان دو قضیهٔ متناقض، به سؤالات زیر پاسخ دهید:
- اگر در شهری صنعتی متوجه شویم که «بعضی از روزها هوا آلوده است»، آیا میتوانیم بگوییم در این شهر «هیچ روزی هوا آلوده نیست»؟
- اگر به مدیر دبستانی گزارش شود که «برخی از دانش آموزان شیر دریافت نکردهاند» آیا قضیهٔ «همهٔ دانش آموزان شیر دریافت کردهاند» صادق است؟
در رابطهٔ تناقض، صدق یک قضیه، کذب دیگری را در پی دارد و کذب یک قضیه، صدق دیگری را نتیجه میدهد.

تمرین (صفحهٔ 63 کتاب درسی)
صدق و کذب روابط زیر را مشخص کنید:

2- تضاد
رابطهٔ شماره (2) در مربع تقابل «تضاد» نامیده میشود. رابطهٔ تضاد تنها میان قضیههای موجبهٔ کلیه و سالبهٔ کلیه برقرار است. بنابراین با تغییر کیفیت قضیهٔ کلی، به قضیهٔ «متضاد» آن میرسیم. برای بررسی رابطهٔ صدق و کذب میان دو قضیهٔ متضاد، به سؤال زیر پاسخ دهید:
- اگر روزنامهای بنویسد: «همهٔ وعدههای مدیر، عملی شده»، بر این اساس قضیهٔ «هیچ یک از وعدههای مدیر، عملی نشده است» صادق است یا کاذب؟
بنابراین در رابطهٔ تضاد، از صدق یک قضیهٔ کلی به کذب قضیهٔ کلی دیگر دست مییابیم. اما اگر قضیهٔ کلی کاذب باشد، نمیتوانیم به صورت قطعی بگوییم که قضیهٔ متضاد آن صادق است یا کاذب.

تمرین (صفحهٔ 64 کتاب درسی)
صدق و کذب روابط زیر را مشخص کنید:
(هنگامی که میگوییم صدق و کذب «مشخص نیست» به این معنا است که ممکن است در مثالی صادق باشد و در مثالی کاذب و نمیتوان دربارهٔ آن حکمی کلی صادر کرد).
هر الف ب است / هیچ الف ب نیست
(صادق) $\Leftarrow $ (کاذب)
(کاذب) $\Leftarrow $ (مشخص نیست)
(کاذب) $\Rightarrow $ (صادق)
(مشخص نیست) $\Rightarrow $ (کاذب)
3- تداخل
رابطهٔ شماره (3) در مربع تقابل، «تداخل» نامیده میشود. این رابطه میان قضیهٔ موجبهٔ کلیه و موجبهٔ جزئیه و میان سالبهٔ کلیه و سالبهٔ جزئیه برقرار است. از آنجا که مصادیق قضیهٔ جزئی در ذیل مصادیق قضیهٔ کلی قرار دارند، این رابطه را متداخل نامیدهاند. با تغییر کمیت قضیه و ثابت نگه داشتن کیفیت آن میتوان به «متداخل» آن قضیه دست یافت. برای بررسی رابطهٔ صدق و کذب میان دو قضیهٔ متداخل، به سؤالات زیر پاسخ دهید:
- اگر بدانیم «همهٔ فلزات هادی الکتریسیتهاند»، آیا میتوانیم بگوییم که «بعضی از فلزات نیز هادی الکتریسیتهاند»؟ چرا؟

- اگر بدانیم که «هیچ کتابی در بخش مسابقه برنده نشده است»، آیا میتوانیم نتیجه بگیریم که «کتابهای انتشارات ما نیز برنده نشدهاند»؟
بر این اساس رابطهٔ صدق دو قضیهٔ متداخل به صورت زیر است:

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

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

عکس مستوی
درصورتی که موضوع و محمول قضیهٔ حملی را جابه جا کنیم، قضیهٔ به دست آمده را «عکس» آن قضیه مینامند.

اکنون این سؤال مطرح میشود که اگر قضیهای صادق باشد، آیا عکس آن نیز صادق است؟ به مثالهای زیر توجه کنید:
- در تبلیغی با نشان دادن نوعی روغن مایع میگویند: «همهٔ کدبانوهای ماهر از این روغن مایع استفاده میکنند». حتی اگر این سخن درست باشد، آیا میتوان نتیجه گرفت که هرکس از آن روغن مایع استفاده کند، کدبانوی ماهری خواهد بود؟ چرا؟
- آیا چون «هر گردویی گرد است» میتوان گفت که «هر گردی گردو است»؟
- برخی از افراد با لباس تیره، شبها هنگام عبور از خیابان گمان میکنند که چون خودشان وسایل نقلیه را میبینند، رانندگان نیز میتوانند آنها را مشاهده کنند؛ در صورتی که همواره چنین نیست. آنها در حقیقت دچار خطای اندیشه شدهاند.
در سه مثال قبل مواردی را دیدیم که گرچه قضیهای صادق است؛ اما اگر جای موضوع و محمول آن تغییر کند (و اصطلاحاً عکس شود)، دیگر صادق نخواهند بود. اکنون به سؤالات زیر پاسخ دهید:
- اگر بدانیم که «هیچ عقابی حشره نیست»، آیا میتوان گفت که «هیچ حشرهای عقاب نیست»؟
- اگر «بعضی از دانش آموزان شاعر باشند»، آیا میتوان نتیجه گرفت که «بعضی از شاعران دانش آموزند»؟
در دو مثال بالا مواردی را دیدیم که با صادق بودن یک قضیه، عکس آن قضیه نیز صادق است.
با مشاهدهٔ این مثالها نتیجه میگیریم که در مواردی میتوان جای موضوع و محمول یک قضیه را تغییر داد و به نتیجهٔ صادقی دست یافت و در مواردی نمیتوان چنین کرد.
منطقدانان با بررسی مواردی که در صورت صادق بودن اصل قضیه، عکس آن نیز صادق خواهد بود، به قانونی کلی دست یافتهاند و آن را به صورت زیر بیان کردهاند:
| اصل (الف ب) |
عکس مستوی (ب الف) |
|---|---|
| هر الف ب است. بعضی الف ب است. هیچ الف ب نیست. بعضی الف ب نیست. |
بعضی ب الف است. بعضی ب الف است. هیچ ب الف نیست. (عکس لازم الصدق ندارد) |
از آنجا که در رابطهٔ فوق از قضیهای صادق به عکس آن قضیه که از نظر صدق همانند و مساوی آن قضیه است، دست مییابیم، آن را قاعدهٔ «عکس مستوی» نامیدهاند.
منطقدانان با بررسی قضیهٔ سالبهٔ جزئی (بعضی الف ب نیست) نشان دادهاند که قانونی کلی برای عکس مستوی این قضیه وجود ندارد. بدین جهت اصطلاحاً میگویند که سالبهٔ جزئیه عکس لازم الصدق ندارد.
مغالطۀ ایهام انعکاس
در صورتی که در جابهجا کردن اجزای قضیه، قاعدهٔ عکس مستوی را به درستی رعایت نکنیم، دچار «مغالطهٔ ایهام انعکاس» میشویم. به عنوان مثال اگر موجبهٔ کلیه را به موجبهٔ کلیه عکس کنیم یا برای سالبهٔ جزئیه عکس لازم الصدق درنظر بگیریم، دچار این مغالطه شدهایم. مانند:
- همهٔ بوتهها گیاهاند. (صادق) $\Leftarrow $ همهٔ گیاهها بوتهاند. (کاذب)
- بعضی انسانها کودک نیستند. (صادق) $\Leftarrow $ بعضی کودکها انسان نیستند. (کاذب)
از این مغالطه در تبلیغات استفادهٔ زیادی میشود. به عنوان مثال با نشان دادن خانوادهای شاد و خوشبخت در کنار یکی از لوازم خانگی، این گونه القا میکنند:
- بعضی از افراد خوشبخت دارای این لوازم خانگی هستند؛ پس: هرکس با داشتن این لوازم خانگی خوشبخت خواهد بود!
درصورتی که عکس موجبهٔ جزئی، موجبهٔ کلیه نیست.
تمرین (صفحهٔ 69 کتاب درسی)
عکس مستوی قضایای زیر را بنویسید:
- هیچ مسلمانی کافر نیست. $\Leftarrow $ (هیچ کافری مسلمان نیست.)
- هر ایرانی وطن دوست است. $\Leftarrow $ (بعضی از وطن دوستان ایرانی هستند.)
- بعضی حیوانات گربه نیستند. $\Leftarrow $ (سالبهٔ جزئیه عکس لازم الصدق ندارد.)
- بعضی سنگها آهکی هستند. $\Leftarrow $ (بعضی آهکیها سنگ هستند.)
فعّالیت تکمیلی (صفحهٔ 69 کتاب درسی)
1- فرق قواعد مربع تقابل و عکس مستوی از نظر جایگاه موضوع و محمول قضیه در چیست؟
در مربع تقابل، جای موضوع و محمول ثابت است، اما در عکس مستوی جای آنها تغییر میکند.
2- در فرض صادق بودن قضیهٔ نخست، صدق یا کذب قضیهٔ دوم را مشخص کنید و نام رابطهٔ میان آنها را بیان کنید:
الف) همهٔ کارمندان مالیات میپردازند. | بعضی کارمندان مالیات نمیپردازند. کاذب (تناقض)
ب) بعضی فیزی کدانان اقتصاددان نیستند. | همهٔ فیزیک دانان اقتصا ددان هستند. کاذب (تناقض)
ج) هیچ مسافری در راه نیست. | همهٔ مسافران در راه هستند. کاذب (تضاد)
د) هیچ مسافری در راه نیست. | بعضی مسافران در راه نیستند. صادق (تداخل)
ه) هر نهنگی آبزی است. | بعضی آبزیها نهنگ هستند. صادق (عکس مستوی)
و) بعضی پرندگان مهاجر نیستند. | بعضی پرندگان مهاجر هستند. مشخص نیست (تداخل تحت تضاد)
3- الف) با توجه به رابطهٔ میان ستون اول با ستونهای دیگر جدول زیر، در صورت صادق بودن قضایای ستون نخست، دربارهٔ صدق یا کذب سایر قضایا چه میتوان گفت؟ در فرض صادق بودن ستون اول:
| - | هر الف ب است | بعضی الف ب است | هیچ الف ب نیست | بعضی الف ب نیست |
|---|---|---|---|---|
| هر الف ب است | - | تداخل / صادق | تضاد / کاذب | تناقض / کاذب |
| بعضی الف ب است | تداخل / نامعلوم | - | تناقض / کاذب | * تداخل تحت تضاد / نامعلوم |
| هیچ الف ب نیست | تضاد / کاذب | تناقض / کاذب | - | تداخل / صادق |
| بعضی الف ب نیست | تناقض / کاذب | * تداخل تحت تضاد / نامعلوم | تداخل / نامعلوم | - |
ب) جدولی مشابه جدول فوق رسم کنید و آن را در فرض کاذب بودن قضایای ستون نخست، تکمیل کنید. در فرض کاذب بودن ستون اول:
| - | هر الف ب است | بعضی الف ب است | هیچ الف ب نیست | بعضی الف ب نیست |
|---|---|---|---|---|
| هر الف ب است | - | تداخل / نامعلوم | تضاد / نامعلوم | تناقض / صادق |
| بعضی الف ب است | تداخل / کاذب | - | تناقض / صادق | تداخل تحت تضاد / صادق |
| هیچ الف ب نیست | تضاد / نامعلوم | تناقض / صادق | - | تداخل / نامعلوم |
| بعضی الف ب نیست | تناقض / صادق | تداخل تحت تضاد / صادق | تداخل / کاذب | - |
4- مشخص کنید که در هر یک از روابط مربع تقابل و نیز در رابطهٔ عکس مستوی، کمیت و کیفیت دو قضیه، ثابت میمانند یا تغییر میکنند؟
| کمیت | کیفیت | |
|---|---|---|
| تناقض | تغییر میکند | تغییر میکند |
| تضاد | ثابت میماند | تغییر میکند |
| تداخل | تغییر میکند | ثابت میماند |
| تداخل تحت تضاد | ثابت میماند | تغییر میکند |
| عکس مستوی | در مواردی ثابت و در مواردی تغییر میکند | ثابت میماند |
5- کدام یک از روابط مربع تقابل و عکس مستوی، از نظر صدق و کذب، یک طرفه و کدام یک دو طرفهاند؟
رابطهٔ تناقض از نظر صدق و کذب رابطهای دو طرفه است.
تناقض: صدق $ \Leftrightarrow $ کذب
سایر روابط از نظر صدق و کذب یک طرفهاند. یعنی مثلاً در رابطهٔ تضاد، صدق یک طرف، کذب طرف دیگر را نتیجه میدهد؛ اما کذب طرف دیگر، صدق طرف نخست را نتیجه نمیدهد.
تضاد: صدق $\Leftarrow $ کذب
تداخل تحت تضاد: کذب $\Leftarrow $ صدق
تداخل: صدق قضیهٔ کلی $\Leftarrow $ صدق قضیهٔ جزئی
تداخل: کذب قضیهٔ جزئی $\Leftarrow $ کذب قضیهٔ کلی
عکس مستوی: صدق $\Leftarrow $ صدق
6- جدول زیر را کامل کنید:
| - | هر الف ب است | بعضی الف ب است | هیچ الف ب نیست | بعضی الف ب نیست |
|---|---|---|---|---|
| متناقض | بعضی الف ب نیست | هیچ الف ب نیست | بعضی الف ب است | هر الف ب است |
| متضاد | هیچ الف ب نیست | - | هر الف ب است | - |
| متداخل | بعضی الف ب است | هر ب الف است | بعضی الف ب نیست | هیچ الف ب نیست |
| متداخل تحت تضاد | - | بعضی الف ب نیست | - | بعضی الف ب است |
| عکس مستوی | بعضی ب الف است | بعضی ب الف است | هیچ ب الف نیست | - |
7- جملات زیر را با کلمات صادق و کاذب کامل کنید:
الف) دو قضیهٔ متناقض هم زمان صادق نیستند و هم زمان کاذب نیستند.
ب) دو قضیهٔ متضاد هم زمان صادق نیستند؛ اما شاید هم زمان کاذب باشند.
ج) دو قضیهٔ متداخل تحت تضاد هم زمان کاذب نیستند؛ اما شاید هم زمان صادق باشند.


