گزاره: جملهای که درست یا نادرست بودن آن مشخص است
۱. گزاره چیست؟ تقسیمبندی جملات از نظر ارزش صدق
در زندگی روزمره با انواع جملات روبرو میشویم: خبری، پرسشی، امری، عاطفی و ... اما در منطق و ریاضیات، فقط آن دسته از جملات که حالت خبری دارند و میتوان برای آنها درست یا نادرست بودن را مشخص کرد، «گزاره» نامیده میشوند. به عبارت دیگر، گزاره جملهای است که دارای ارزش صدق1 باشد.
برای روشن شدن موضوع، به مثالهای زیر توجه کنید:
- گزاره درست(True): «عدد 2 کوچکترین عدد اول است.» (این جمله درست است چون عدد 2 تنها عدد اول زوج و کوچکترین عدد اول میباشد.)
- گزاره نادرست(False): «خورشید به دور زمین میگردد.» (این جمله در دانش امروزی نادرست است.)
- جمله بدون ارزش صدق: «لطفاً در را ببند.» (این جمله امری است و نمیتوان آن را درست یا نادرست نامید.)
هر گزاره یا صادق است (ارزش صدق True) یا کاذب (ارزش صدق False) و این دومعنایی بودن، اصل دومعنایی بودن گزارهها2 نامیده میشود.
۲. انواع گزاره از نظر ساختار: ساده و مرکب
گزارهها از نظر درونمایه به دو دستۀ اصلی تقسیم میشوند: گزاره ساده3 (اتمی) و گزاره مرکب4 (مولکولی). گزاره ساده شامل هیچ گزارۀ دیگری نیست و دارای یک موضوع و یک محمول است. گزاره مرکب از ترکیب چند گزاره ساده با استفاده از «پیوندهای منطقی5» مانند و، یا، اگر... آنگاه و اگر و فقط اگر ساخته میشود.
| نوع گزاره | تعریف | مثال علمی |
|---|---|---|
| ساده (اتمی) | فاقد هرگونه پیوند منطقی | «دمای جوش آب در فشار یک اتمسفر برابر 100 درجۀ سلسیوس است.» |
| مرکب (مولکولی) | شامل حداقل یک پیوند منطقی | «عدد 6 زوج است و عدد 3 فرد است.» |
ارزش صدق گزاره مرکب به ارزش صدق گزارههای سازنده و نوع پیوند منطقی بستگی دارد. برای نمونه، گزارۀ عطفی $ P \land Q $ (P و Q) فقط زمانی درست است که هر دو جزء P و Q درست باشند.
۳. کاربرد عملی گزارهها در اثبات و استدلال علمی
در علم و ریاضیات، بیشتر پیشرفتها از راه بررسی درستی یا نادرستی گزارهها حاصل میشود. یک قضیه ریاضی در واقع یک گزاره شرطی است: اگر مفروضات برقرار باشند، آنگاه نتیجه صادق است. مثلاً قضیۀ فیثاغورس: «اگر مثلثی قائمالزاویه باشد، آنگاه مجذور وتر برابر مجموع مجذورات دو ضلع زاویه قائمه است.»
دانشمندان برای آزمودن یک فرضیه6، آن را به شکل گزارهای درمیآورند که قابلیت ابطال داشته باشد. فرضیه «همه قوها سفیدند» یک گزارۀ کلی است. دیدن یک قوی سیاه در استرالیا این گزاره را نادرست میکند. بنابراین، گزارهها ابزار اصلی روش علمی هستند.
مثال عینی: در یک آزمایش شیمی، دانشآموز گزاره «اگر دمای واکنش را 10 درجه افزایش دهیم، سرعت واکنش دو برابر میشود» را بررسی میکند. او با اندازهگیری دقیق، ارزش صدق این گزاره را برای یک سامانۀ خاص تعیین میکند. اگر گزاره درست باشد، میتواند پیشبینی انجام دهد و اگر نادرست باشد، فرضیه را اصلاح میکند.
۴. چالشهای مفهومی در شناخت گزارهها
❓ سوال ۱: آیا جمله «این جمله نادرست است» یک گزاره محسوب میشود؟
پاسخ: خیر. این جمله به «پارادوکس دروغگو7» معروف است. اگر آن را درست فرض کنیم، نادرست بودنش نتیجه میشود و اگر نادرست فرض کنیم، درست بودنش نتیجه میشود. بنابراین ارزش صدق ثابتی ندارد و گزاره نیست.
❓ سوال ۲: جملات پرسشی مانند «چند سیاره در منظومه شمسی وجود دارد؟» آیا گزاره هستند؟
پاسخ: خیر، زیرا این جمله خبری نیست. اما پاسخ آن «منظومه شمسی دارای 8 سیاره است» یک گزاره است. تفاوت میان جمله (ساختار زبانی) و گزاره (محتوا و ارزش صدق) در اینجا آشکار میشود.
❓ سوال ۳: آیا گزارهای که فعلاً نتوانیم درستی یا نادرستی آن را تعیین کنیم، گزاره نیست؟
پاسخ: چالش برانگیز است. در منطق کلاسیک، یک گزاره باید اصولاً دارای ارزش صدق باشد، چه فعلاً معلوم باشد چه نباشد. مثال: «در تاریخ 1 ژانویۀ سال 3000، در تهران برف میبارد.» این جمله امروز برای ما نامعلوم است، اما قطعاً یا در آن تاریخ میبارد یا نمیبارد؛ بنابراین یک گزاره است. به چنین گزارههایی «گزارههای نامعین» میگویند.
۵. جمعبندی
پاورقی
1 ارزش صدق (Truth value): ویژگی یک گزاره که آن را درست یا نادرست میکند.
2 اصل دومعنایی بودن (Principle of bivalence): اصلی در منطق کلاسیک که میگوید هر گزاره فقط یکی از دو ارزش صدق «درست» یا «نادرست» را دارد.
3 گزاره ساده (Atomic proposition): گزارهای که به هیچ گزارۀ سادهتری تجزیه نمیشود و فاقد پیوند منطقی است.
4 گزاره مرکب (Compound proposition): گزارهای که از ترکیب دو یا چند گزاره ساده با کمک پیوندهای منطقی ساخته میشود.
5 پیوندهای منطقی (Logical connectives): نمادهایی مانند ∧ (و)، ∨ (یا)، → (اگر... آنگاه) و ↔ (اگر و فقط اگر) که برای ساخت گزارههای مرکب به کار میروند.
6 فرضیه (Hypothesis): گزارهای موقتی و آزمونپذیر که به عنوان مبنایی برای پژوهش علمی مطرح میشود.
7 پارادوکس دروغگو (Liar paradox): جملهای خودارجاع که اگر آن را درست فرض کنیم به نادرستی میانجامد و اگر نادرست فرض کنیم به درستی میانجامد، در نتیجه فاقد ارزش صدق ثابت است.