مقدمه
منطق ریاضی یکی از پایههای مهم ریاضیات و علوم کامپیوتر است و «گزاره» یکی از نخستین مفاهیمی است که برای ورود به این حوزه باید بهدرستی شناخته شود. بسیاری از مفاهیم بعدی مانند نقیض گزاره، عطف و فصل، گزارههای شرطی و دوشرطی، جدول ارزش و همارزی منطقی، همگی بر مفهوم گزاره و ارزش صدق آن بنا شدهاند.
در زبان روزمره، هر جملهای ممکن است برای انتقال یک معنا به کار رود؛ اما در منطق، همه جملهها گزاره نیستند. منطق گزارهای به عباراتی توجه میکند که بتوان برای آنها بهطور معنادار یکی از دو ارزش «درست» یا «نادرست» را در نظر گرفت. منابع دانشگاهی منطق و ریاضیات گسسته نیز گزاره را بهعنوان یکی از عناصر بنیادی استدلال صوری معرفی میکنند. مشاهده منبع در MIT OpenCourseWare و تعریف گزاره در Mathematics LibreTexts.
در ادامه، تعریف دقیق گزاره را بررسی میکنیم و سپس با مثالهای مختلف مشخص میکنیم چه عبارتی گزاره است و چه عبارتی گزاره نیست.
پیشنیازها
برای فهم مفهوم گزاره، پیشنیاز پیچیدهای لازم نیست. آشنایی مقدماتی با جملههای ریاضی، نمادگذاری ریاضی و مفهوم درست و نادرست کافی است.
با این حال، برای ادامه مطالعه منطق ریاضی بهتر است خواننده با مفاهیم مجموعه و نمادهای ابتدایی ریاضی نیز آشنا باشد. گزارهها بعداً برای ساختن عبارتهای منطقی پیچیدهتر و صورتبندی استدلالهای ریاضی به کار میروند.
تعریف دقیق گزاره
گزاره یا Proposition در منطق، عبارتی است که دقیقاً یکی از دو ارزش صدق «درست» یا «نادرست» را دارد.
اگر گزارهای را با \(p\) نشان دهیم، ارزش صدق آن را میتوان با یکی از نمادهای \(T\) و \(F\) مشخص کرد:
$$ T=\text{True}, \qquad F=\text{False} $$
در برخی منابع آموزشی بهجای \(T\) و \(F\) از \(1\) و \(0\) نیز استفاده میشود؛ در این قرارداد، \(1\) نشاندهنده درست و \(0\) نشاندهنده نادرست است. منابع دانشگاهی و آموزشی معتبر هر دو شیوه را به کار میبرند؛ برای نمونه، در منابع آموزشی منطق، گزاره بهعنوان عبارتی با ارزش صدق مشخص تعریف شده و برای نمایش ارزشهای صدق از قراردادهای مختلف استفاده میشود.
نکته مهم این است که ممکن است ارزش صدق یک گزاره را در حال حاضر ندانیم، اما خود عبارت همچنان گزاره باشد. ملاک اصلی این است که عبارت از نظر منطقی دارای یک ارزش صدق مشخص باشد، نه اینکه ما حتماً در همان لحظه بدانیم آن ارزش چیست. در منطق گزارهای دانشگاهی نیز گزاره لازم نیست بالفعل درست باشد؛ کافی است بتوان آن را بهطور معنادار درست یا نادرست دانست.
ارزش صدق گزاره
به درست یا نادرست بودن یک گزاره، ارزش صدق آن گزاره گفته میشود.
برای مثال، گزاره زیر را در نظر بگیرید:
$$ p:\quad 2+3=5 $$
چون این عبارت درست است، داریم:
$$ \operatorname{Truth}(p)=T $$
یا در قرارداد صفر و یک:
$$ \operatorname{Truth}(p)=1 $$
اکنون گزاره زیر را در نظر بگیرید:
$$ q:\quad 2+3=6 $$
این عبارت نادرست است؛ بنابراین:
$$ \operatorname{Truth}(q)=F $$
پس هر گزاره در منطق کلاسیک دارای دقیقاً یک ارزش صدق از میان درست و نادرست است. یک گزاره در یک تفسیر مشخص نمیتواند همزمان هم درست و هم نادرست باشد.
چه جملههایی گزاره هستند؟
برای تشخیص گزاره بودن یک جمله، باید بررسی کنیم آیا جمله یک ادعای قابل ارزیابی از نظر صدق است یا خیر.
مثالهایی از گزاره
- «عدد ۷ اول است.»
- «تهران پایتخت ایران است.»
- «\(2+2=5\)»
- «هر عدد زوج بر ۲ بخشپذیر است.»
هر یک از این عبارتها ادعایی را بیان میکنند که میتوان آن را درست یا نادرست دانست.
برای نمونه:
$$ 7 \text{ عددی اول است} $$
یک گزاره درست است؛ در حالی که:
$$ 2+2=5 $$
یک گزاره نادرست است. هر دو، با وجود تفاوت در ارزش صدق، گزاره محسوب میشوند.
جملههای غیرگزارهای
برخی جملهها در منطق گزاره محسوب نمیشوند. مهمترین نمونهها عبارتاند از:
- جملههای پرسشی
- جملههای امری
- جملههای عاطفی
- عبارتهایی که متغیر آزاد دارند و ارزش صدق مشخصی برای آنها تعیین نشده است
- عبارتهای مبهم یا وابسته به قضاوت شخصی، در صورتی که ارزش صدق مشخصی نداشته باشند
برای مثال، جمله «آیا امروز باران میبارد؟» یک پرسش است و گزاره محسوب نمیشود. همچنین «در را ببند!» یک دستور است و ارزش صدق درست یا نادرست برای آن تعریف نمیشود.
در منابع آموزشی منطق نیز میان جملههایی که میتوانند ارزش صدق داشته باشند و پرسشها، دستورها و عبارتهای ناقص تمایز گذاشته میشود.
مثال: تشخیص گزاره از غیرگزاره
عبارتهای زیر را بررسی کنید.
| عبارت |
گزاره است؟ |
دلیل |
| ۷ عددی اول است. |
بله |
ارزش صدق مشخص دارد. |
| در را ببند! |
خیر |
جمله امری است. |
| آیا ۷ عددی اول است؟ |
خیر |
جمله پرسشی است. |
| چه روز زیبایی! |
خیر |
جمله عاطفی و وابسته به قضاوت است. |
| \(2+2=4\) |
بله |
یک گزاره ریاضی با ارزش صدق درست است. |
| \(x+2=5\) |
بهتنهایی خیر |
با توجه به مقدار \(x\)، ارزش صدق تغییر میکند. |
آخرین مثال اهمیت زیادی دارد. عبارت \(x+2=5\) تا زمانی که مقدار \(x\) مشخص نشده یا دامنه و شرایطی برای آن تعیین نشده است، معمولاً یک گزارهنما یا عبارت باز در نظر گرفته میشود، نه یک گزاره کامل.
گزارهنما چیست؟
اگر عبارتی شامل متغیری باشد که مقدار آن مشخص نشده است و با تعیین مقدار متغیر بتوان درباره درست یا نادرست بودن عبارت تصمیم گرفت، با یک گزارهنما یا عبارت باز روبهرو هستیم.
برای مثال:
$$ P(x):\quad x+2=5 $$
اگر \(x=3\) باشد، عبارت درست است:
$$ 3+2=5 $$
اما اگر \(x=4\) باشد، عبارت نادرست است:
$$ 4+2\neq5 $$
بنابراین \(P(x)\) پیش از تعیین مقدار \(x\)، یک گزارهنمای دارای متغیر است. با جایگذاری مقدار مناسب برای متغیر، میتوان آن را به یک گزاره تبدیل کرد.
این مفهوم بعداً در مطالعه کمیتنماها اهمیت پیدا میکند؛ زیرا عبارتهایی مانند «برای هر \(x\)» یا «وجود دارد \(x\)» میتوانند گزارهنما را به یک گزاره تبدیل کنند.
گزاره ساده
گزارهای که به گزارههای کوچکتر با استفاده از رابطهای منطقی تجزیه نشده باشد، معمولاً گزاره ساده یا اتمی نامیده میشود.
برای مثال:
$$ p:\quad 5>2 $$
یک گزاره ساده است.
در منطق گزارهای، گزارههای ساده را معمولاً با حروفی مانند \(p\)، \(q\) و \(r\) نمایش میدهند. این حروف در واقع متغیرهای گزارهای هستند که میتوانند ارزش \(T\) یا \(F\) داشته باشند. منابع دانشگاهی منطق گزارهای نیز ساختار زبان منطقی را بر پایه گزارههای ساده و ترکیب آنها با رابطهای منطقی معرفی میکنند. برای نمونه، فصل منطق گزارهای دانشگاه استنفورد گزارههای ساده و مرکب و رابطهای اصلی را در ساختار زبان صوری بررسی میکند.
گزاره مرکب
اگر چند گزاره با استفاده از رابطهای منطقی با یکدیگر ترکیب شوند، گزاره حاصل را گزاره مرکب مینامیم.
برای مثال، فرض کنید:
$$ p:\quad 2<5 $$
$$ q:\quad 7>3 $$
با استفاده از رابط «و» میتوان گزاره مرکب زیر را ساخت:
$$ p\land q $$
این عبارت به زبان طبیعی یعنی «\(p\) و \(q\)».
رابطهای منطقی اصلی که برای ساخت گزارههای مرکب به کار میروند عبارتاند از نقیض، عطف، فصل، شرطی و دوشرطی.
نمادگذاری گزارهها
در منطق ریاضی برای سادهتر شدن بیان استدلالها، بهجای تکرار جملههای طولانی از نمادهای گزارهای استفاده میشود.
برای مثال، فرض کنید:
$$ p:\quad \text{امروز باران میبارد} $$
و:
$$ q:\quad \text{زمین خیس است} $$
در این صورت میتوان گزاره «اگر امروز باران ببارد، زمین خیس است» را به شکل زیر نوشت:
$$ p\rightarrow q $$
این نمادگذاری باعث میشود ساختار منطقی جمله از محتوای زبانی آن جدا شود و بتوان آن را بهصورت صوری بررسی کرد.
رابطهای منطقی و گزارهها
مفهوم گزاره پایهای برای تعریف رابطهای منطقی است. مهمترین رابطها عبارتاند از:
| نام |
نماد |
معنای معمول |
| نقیض |
\(\neg p\) |
نه \(p\) |
| عطف |
\(p\land q\) |
\(p\) و \(q\) |
| فصل |
\(p\lor q\) |
\(p\) یا \(q\) |
| شرطی |
\(p\rightarrow q\) |
اگر \(p\)، آنگاه \(q\) |
| دوشرطی |
\(p\leftrightarrow q\) |
\(p\) اگر و تنها اگر \(q\) |
هر یک از این مفاهیم در مقالههای آموزشی مستقل خود با جزئیات بیشتر بررسی میشود. در این مقاله تمرکز اصلی بر خود مفهوم گزاره است.
ارتباط گزاره با ارزش صدق
رابطهای منطقی نحوه تعیین ارزش صدق گزارههای مرکب را مشخص میکنند. برای مثال، عطف دو گزاره \(p\) و \(q\) فقط زمانی درست است که هر دو گزاره درست باشند:
$$ p\land q=T \quad\Longleftrightarrow\quad p=T \text{ و } q=T $$
به همین ترتیب، ارزش صدق یک گزاره مرکب را میتوان از ارزش صدق اجزای آن و نوع رابط منطقی به دست آورد. این موضوع اساس ساخت جدولهای ارزش است.
جدول ارزش و گزاره
برای بررسی نظاممند ارزش صدق یک عبارت منطقی، از جدول ارزش استفاده میشود.
اگر یک گزاره ساده \(p\) داشته باشیم، تنها دو حالت ممکن است:
اگر دو گزاره ساده \(p\) و \(q\) داشته باشیم، چهار ترکیب ممکن برای ارزش صدق آنها وجود دارد:
$$ 2^2=4 $$
اگر سه گزاره ساده داشته باشیم، تعداد حالتها برابر است با:
$$ 2^3=8 $$
بهطور کلی، اگر یک عبارت منطقی به \(n\) متغیر گزارهای مستقل وابسته باشد، جدول ارزش آن \(2^n\) حالت ممکن خواهد داشت. این روش در منابع دانشگاهی منطق گزارهای برای ارزیابی عبارتهای مرکب استفاده میشود.
گزاره درست و گزاره نادرست
گزارهها را میتوان بر اساس ارزش صدق به دو گروه اصلی تقسیم کرد:
گزاره درست
گزارهای که ارزش صدق آن \(T\) یا \(1\) باشد، گزاره درست است.
برای مثال:
$$ 2+2=4 $$
یک گزاره درست است.
گزاره نادرست
گزارهای که ارزش صدق آن \(F\) یا \(0\) باشد، گزاره نادرست است.
برای مثال:
$$ 2+2=5 $$
یک گزاره نادرست است.
توجه کنید که «نادرست بودن» یک جمله مانع گزاره بودن آن نیست. گزاره فقط باید ارزش صدق مشخصی داشته باشد؛ این ارزش میتواند درست یا نادرست باشد.
گزارههای ریاضی
در ریاضیات، بسیاری از گزارهها به شکل برابری، نابرابری یا ادعا درباره یک ساختار ریاضی بیان میشوند.
برای مثال:
$$ 3^2=9 $$
یک گزاره ریاضی درست است.
همچنین:
$$ \sqrt{2}\in\mathbb{Q} $$
یک گزاره ریاضی نادرست است؛ زیرا \(\sqrt{2}\) عددی گویا نیست.
در هر دو مورد، عبارت دارای ارزش صدق مشخص است.
تفاوت گزاره با عبارت ریاضی
هر عبارت ریاضی الزاماً گزاره نیست. برای مثال، عبارت:
$$ x+3 $$
بهخودیخود یک گزاره نیست، زیرا ادعایی درباره درست یا نادرست بودن مطرح نمیکند.
عبارت:
$$ x+3=7 $$
نیز تا زمانی که وضعیت متغیر \(x\) مشخص نشده باشد، معمولاً گزاره کامل محسوب نمیشود. اما اگر بگوییم:
$$ x=4 $$
و \(x+3=7\) را با این مقدار بررسی کنیم، به یک عبارت دارای ارزش صدق مشخص میرسیم.
تفاوت گزاره با سؤال
یک سؤال ممکن است درباره یک گزاره سؤال کند، اما خودش گزاره نیست.
برای مثال:
«آیا عدد ۱۳ اول است؟»
یک سؤال است و ارزش صدق ندارد.
اما پاسخ آن میتواند یک گزاره باشد:
«عدد ۱۳ اول است.»
این جمله یک گزاره درست است.
بنابراین نباید «موضوعی که سؤال درباره آن مطرح شده» را با «خود سؤال» یکسان دانست.
تفاوت گزاره با جمله امری
جمله امری معمولاً دستور انجام کاری را بیان میکند، نه ادعایی که بتوان آن را درست یا نادرست دانست.
برای مثال:
«کتاب را باز کن.»
این جمله گزاره نیست.
اما جمله:
«کتاب روی میز است.»
اگر وضعیت مورد نظر مشخص باشد، یک گزاره است؛ زیرا میتوان درباره درست یا نادرست بودن آن تصمیم گرفت.
تفاوت گزاره با جمله عاطفی
عبارتهایی مانند:
«چه هوای زیبایی!»
معمولاً یک واکنش یا احساس را بیان میکنند و در چارچوب منطق گزارهای ارزش صدق مشخصی ندارند.
البته باید توجه داشت که مرز میان زبان طبیعی و منطق صوری همیشه کاملاً یکسان نیست. در منطق، معیار اصلی این است که آیا عبارت موردنظر در چارچوب مورد بحث میتواند بهعنوان جملهای با ارزش صدق مشخص تفسیر شود یا خیر.
گزاره و اصل دوارزشی بودن
در منطق کلاسیک، گزارهها بر اساس یک نظام دوارزشی بررسی میشوند. یعنی برای هر گزاره، دو ارزش پایه در نظر گرفته میشود:
$$ \{T,F\} $$
یک گزاره در یک تفسیر مشخص نمیتواند همزمان هر دو ارزش را داشته باشد. این ویژگی با عنوان اصل دوارزشی بودن شناخته میشود.
در منطق کلاسیک دوارزشی، هر گزاره در چارچوب موردنظر یکی از دو ارزش صدق \(T\) یا \(F\) را دارد. نظامهای منطقی دیگر ممکن است مجموعه ارزشهای صدق و قواعد متفاوتی داشته باشند؛ بنابراین هنگام مطالعه منطقهای غیرکلاسیک باید تعریفها و قواعد همان نظام را در نظر گرفت.
گزارههای مرکب و ساختار آنها
وقتی گزارههای ساده با رابطهای منطقی ترکیب میشوند، ساختار منطقی جدیدی شکل میگیرد.
برای مثال:
$$ p:\quad 4>2 $$
$$ q:\quad 3>7 $$
با ترکیب آنها میتوان نوشت:
$$ p\land q $$
از آنجا که \(p\) درست و \(q\) نادرست است، نتیجه عطف نیز نادرست خواهد بود.
این مثال نشان میدهد که گزاره مرکب فقط یک جمله طولانیتر نیست؛ بلکه ساختار منطقی آن و ارزش صدق اجزای سازندهاش در تعیین ارزش صدق نهایی نقش دارند.
مثالهای حلشده
مثال ۱: آیا «۵ عددی اول است» گزاره است؟
حل:
این عبارت خبری است و میتوان درباره درست یا نادرست بودن آن تصمیم گرفت. عدد ۵ اول است، بنابراین عبارت درست است.
$$ p:\quad 5\text{ عددی اول است} $$
پس:
$$ \operatorname{Truth}(p)=T $$
در نتیجه، این عبارت یک گزاره درست است.
مثال ۲: آیا «لطفاً در را ببند» گزاره است؟
حل:
این عبارت یک درخواست یا دستور است و نمیتوان آن را بهصورت درست یا نادرست ارزیابی کرد.
پس گزاره نیست.
مثال ۳: آیا «\(x^2=4\)» گزاره است؟
حل:
اگر \(x\) مشخص نشده باشد، عبارت میتواند برای برخی مقادیر درست و برای برخی مقادیر نادرست باشد.
برای مثال:
$$ x=2\quad\Rightarrow\quad x^2=4 $$
اما:
$$ x=3\quad\Rightarrow\quad x^2\neq4 $$
بنابراین در حالت کلی، \(x^2=4\) یک گزارهنما است، نه یک گزاره دارای ارزش صدق ثابت.
مثال ۴: آیا «\(2^{10}>1000\)» گزاره است؟
حل:
هیچ متغیر آزادی در عبارت وجود ندارد و میتوان ارزش صدق آن را تعیین کرد. چون:
$$ 2^{10}=1024>1000 $$
پس این عبارت یک گزاره درست است.
مثال ۵: بررسی یک گزاره مرکب
فرض کنید:
$$ p:\quad 8>3 $$
و:
$$ q:\quad 4>10 $$
در این صورت:
$$ p=T,\qquad q=F $$
گزاره مرکب \(p\land q\) فقط زمانی درست است که هر دو جزء درست باشند. بنابراین:
$$ p\land q=F $$
مثال ۶: تشخیص عبارت مبهم
عبارت «این فیلم بهترین فیلم سال است» را در نظر بگیرید.
اگر «بهترین» بر اساس معیار دقیق و تعریفشدهای مشخص نشده باشد، عبارت ممکن است به قضاوت شخصی وابسته باشد. در چنین شرایطی نمیتوان آن را بهسادگی یک گزاره منطقی دانست.
اما اگر معیار «بهترین» بهطور دقیق تعریف شود، مثلاً «بیشترین امتیاز ثبتشده در یک سامانه مشخص»، عبارت میتواند به ادعایی تبدیل شود که ارزش صدق مشخصی دارد.
قضایا و ویژگیهای مرتبط با گزاره
نقیض گزاره
اگر \(p\) یک گزاره باشد، نقیض آن با نماد \(\neg p\) نمایش داده میشود و ارزش صدق آن دقیقاً مخالف \(p\) است:
$$ p=T\Rightarrow\neg p=F $$
$$ p=F\Rightarrow\neg p=T $$
برای مثال، اگر \(p\) گزاره «۷ اول است» باشد، نقیض آن گزاره «۷ اول نیست» خواهد بود.
نقیض، یکی از بنیادیترین عملیات روی گزارههاست و در مقاله مستقل مربوط به نقیض گزاره با جزئیات بیشتر بررسی میشود.
عطف دو گزاره
اگر \(p\) و \(q\) دو گزاره باشند، عطف آنها با \(p\land q\) نشان داده میشود. این عبارت زمانی درست است که هر دو گزاره درست باشند.
$$ p\land q=T \quad\Longleftrightarrow\quad p=T\ \text{و}\ q=T $$
فصل دو گزاره
فصل با نماد \(p\lor q\) نشان داده میشود و در منطق کلاسیک زمانی نادرست است که هر دو جزء نادرست باشند.
$$ p\lor q=F \quad\Longleftrightarrow\quad p=F\ \text{و}\ q=F $$
در زبان طبیعی، «یا» گاهی به معنای انحصاری استفاده میشود؛ اما نماد استاندارد \(\lor\) در منطق گزارهای معمولاً «یا»ی فراگیر را نشان میدهد. این تفاوت میان «یا»ی منطقی و «یا»ی انحصاری اهمیت زیادی دارد.
شرطی
شرطی دو گزاره با نماد \(p\rightarrow q\) نوشته میشود. در منطق کلاسیک، این گزاره فقط در حالتی نادرست است که \(p\) درست و \(q\) نادرست باشد.
$$ p\rightarrow q=F \quad\Longleftrightarrow\quad p=T,\ q=F $$
بنابراین معنای شرطی منطقی با برخی کاربردهای روزمره واژه «اگر» تفاوت دارد و نباید آن را صرفاً بر اساس برداشت زبانی تفسیر کرد.
دوشرطی
دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده میشود و زمانی درست است که \(p\) و \(q\) ارزش صدق یکسانی داشته باشند:
$$ p\leftrightarrow q=T \quad\Longleftrightarrow\quad p=q $$
این مفهوم ارتباط نزدیکی با همارزی منطقی دارد، هرچند «دوشرطی بودن یک عبارت» و «همارزی منطقی دو عبارت» دقیقاً یک مفهوم نیستند.
جدول ارزش رابطهای اصلی
برای جمعبندی رفتار رابطهای اصلی، جدول زیر ارزش صدق آنها را برای تمام حالتهای ممکن نشان میدهد. این جدولها از تعریف استاندارد رابطهای منطق گزارهای به دست میآیند.
| \(p\) |
\(q\) |
\(\neg p\) |
\(p\land q\) |
\(p\lor q\) |
\(p\rightarrow q\) |
\(p\leftrightarrow q\) |
| T |
T |
F |
T |
T |
T |
T |
| T |
F |
F |
F |
T |
F |
F |
| F |
T |
T |
F |
T |
T |
F |
| F |
F |
T |
F |
F |
T |
T |
تفاوت دوشرطی با همارزی منطقی
این دو مفهوم به هم نزدیکاند اما نباید با یکدیگر اشتباه شوند.
عبارت:
$$ p\leftrightarrow q $$
خود یک گزاره مرکب است که ارزش صدق دارد.
اما وقتی مینویسیم:
$$ P\equiv Q $$
معمولاً منظور این است که دو عبارت منطقی \(P\) و \(Q\) در تمام حالتهای ممکن ارزش صدق یکسان دارند. در این حالت، همارزی منطقی یک رابطه میان دو عبارت منطقی است، نه صرفاً یک رابط درون یک گزاره.
گزاره و استدلال ریاضی
گزارهها نقش اساسی در اثباتهای ریاضی دارند. یک اثبات معمولاً از مجموعهای از گزارهها مانند فرضها، تعریفها، اصول و نتایج میانی تشکیل میشود و در نهایت به گزارهای به نام نتیجه یا حکم میرسد.
برای مثال، گزاره شرطی:
$$ p\rightarrow q $$
میتواند ساختار سادهشده یک ادعای ریاضی را نشان دهد: اگر فرض \(p\) برقرار باشد، نتیجه \(q\) برقرار است.
به همین دلیل، فهم درست گزاره و رابطهای منطقی پیشنیاز مهمی برای مطالعه روشهای اثبات، استدلال مستقیم، برهان خلف و اثبات به کمک حالتهای مختلف است. MIT نیز در درس دانشگاهی «Mathematics for Computer Science» گزارهها و منطق را در ابتدای مسیر آموزش اثباتهای ریاضی قرار میدهد.
کاربردهای گزاره
ریاضیات
گزارهها برای بیان دقیق قضایا، فرضها، نتایج و استدلالهای ریاضی استفاده میشوند.
ریاضیات گسسته
منطق گزارهای یکی از مباحث بنیادی ریاضیات گسسته است و در کنار مجموعهها، روابط، توابع، شمارش و روشهای اثبات آموزش داده میشود. کتابهای دانشگاهی استاندارد ریاضیات گسسته نیز منطق و گزارهها را در بخشهای ابتدایی خود قرار میدهند.
علوم کامپیوتر
منطق گزارهای در طراحی مدارهای دیجیتال، منطق بولی، الگوریتمها، زبانهای برنامهنویسی و روشهای بررسی درستی برنامهها کاربرد دارد. برای نمونه، منابع دانشگاهی منطق گزارهای را برای مدلسازی مدارهای دیجیتال نیز به کار میگیرند.
هوش مصنوعی و سیستمهای تصمیمگیری
در برخی روشهای بازنمایی دانش و استدلال ماشینی، گزارهها بهعنوان واحدهای منطقی برای بیان اطلاعات و بررسی نتایج احتمالی به کار میروند.
اشتباهات رایج
اشتباه اول: هر جمله خبری را گزاره دانستن
هر جمله خبری الزاماً گزاره نیست. جمله خبری باید بتواند ارزش صدق مشخصی داشته باشد.
برای مثال «این فیلم زیباست» ممکن است بر اساس سلیقه افراد متفاوت ارزیابی شود و بدون تعریف معیار دقیق، گزاره مناسبی در منطق صوری نباشد.
اشتباه دوم: تصور اینکه گزاره حتماً باید درست باشد
این تصور نادرست است. گزاره میتواند درست یا نادرست باشد.
$$ 2+2=5 $$
یک گزاره نادرست است، اما همچنان گزاره محسوب میشود.
اشتباه سوم: گزاره دانستن سؤال
«آیا ۲ عددی زوج است؟» سؤال است و گزاره نیست؛ اما «۲ عددی زوج است» یک گزاره درست است.
اشتباه چهارم: گزاره دانستن عبارت دارای متغیر آزاد
عبارت \(x>3\) بدون تعیین مقدار \(x\) یا بدون استفاده از کمیتنماها، بهطور معمول یک گزاره کامل نیست؛ زیرا ارزش صدق آن به مقدار \(x\) وابسته است.
اشتباه پنجم: یکی دانستن جمله و گزاره
«جمله» مفهومی زبانی است، در حالی که «گزاره» در این بحث یک مفهوم منطقی است. هر گزاره میتواند به شکل یک جمله خبری بیان شود، اما هر جملهای گزاره نیست.
اشتباه ششم: تصور اینکه نادرستی یک عبارت باعث غیرگزاره شدن آن میشود
این دو موضوع کاملاً متفاوتاند. معیار گزاره بودن، داشتن ارزش صدق مشخص است؛ نه درست بودن.
نکات مهم
- گزاره در منطق کلاسیک عبارتی است که دقیقاً یکی از دو ارزش صدق درست یا نادرست را دارد.
- درست یا نادرست بودن یک گزاره، هر دو حالت معتبر گزارهای هستند.
- سؤال، دستور و بسیاری از جملههای عاطفی گزاره نیستند.
- عبارت دارای متغیر آزاد معمولاً تا تعیین شرایط مناسب، گزاره کامل نیست.
- گزارههای ساده میتوانند با رابطهای منطقی به گزارههای مرکب تبدیل شوند.
- ارزش صدق گزارههای مرکب بر اساس ارزش صدق اجزای آنها و رابطهای منطقی تعیین میشود.
- جدول ارزش ابزاری نظاممند برای بررسی تمام حالتهای ممکن ارزش صدق گزارههای مرکب است.
- گزاره پایه بسیاری از مفاهیم بعدی منطق، از جمله نقیض، عطف، فصل، شرطی، دوشرطی و همارزی منطقی است.
- در منطق کلاسیک، ارزش صدق گزارهها دوارزشی است؛ منطقهای غیرکلاسیک میتوانند ساختارهای دیگری داشته باشند.
مسیر مطالعه مفاهیم مرتبط
برای مطالعه منطق ریاضی، پس از تسلط بر مفهوم گزاره، پیشنهاد میشود مفاهیم زیر به ترتیب بررسی شوند:
- نقیض گزاره
- عطف و فصل
- شرطی و دوشرطی
- جدول ارزش
- همارزی منطقی
- کمیتنماها
- نقیض گزارههای دارای کمیتنما
این ترتیب باعث میشود خواننده ابتدا با واحد بنیادی منطق، یعنی گزاره، آشنا شود و سپس به سراغ عملیات منطقی و در ادامه مفاهیم پیچیدهتر برود.
جمعبندی
گزاره یکی از بنیادیترین مفاهیم منطق ریاضی است. گزاره عبارتی است که در چارچوب منطق کلاسیک دقیقاً یک ارزش صدق، یعنی درست یا نادرست، دارد. بنابراین گزاره بودن با درست بودن یکسان نیست؛ یک عبارت نادرست نیز میتواند گزاره باشد.
تشخیص گزاره از جملههای پرسشی، امری، عاطفی و عبارتهای دارای متغیر آزاد اهمیت زیادی دارد. پس از شناخت گزاره، میتوان گزارههای ساده را با استفاده از رابطهایی مانند نقیض، عطف، فصل، شرطی و دوشرطی ترکیب کرد و گزارههای مرکب ساخت.
جدول ارزش نیز روشی نظاممند برای بررسی ارزش صدق این گزارههای مرکب فراهم میکند. از همین مفاهیم، مباحث مهمتری مانند همارزی منطقی، استلزام، کمیتنماها و روشهای اثبات ریاضی شکل میگیرند.
موضوعات مرتبط
منابع
منابع کتابی
- Kenneth H. Rosen، Discrete Mathematics and Its Applications، 8th Edition، McGraw Hill. این کتاب از مراجع شناختهشده ریاضیات گسسته است و مباحث منطق، گزارهها، رابطهای منطقی، جدولهای ارزش، همارزی و استدلال را پوشش میدهد.
- Ralph P. Grimaldi، Discrete and Combinatorial Mathematics: Classic Version، 5th Edition، Pearson. فصل «Fundamentals of Logic» مباحثی مانند رابطهای منطقی، جدول ارزش، همارزی منطقی، استلزام و کمیتنماها را پوشش میدهد.
- Susanna S. Epp، Discrete Mathematics with Applications، 4th Edition، Cengage Learning، 2011. این کتاب از منابع دانشگاهی شناختهشده برای آموزش منطق، روشهای اثبات و ریاضیات گسسته است.
منابع وب
- MIT OpenCourseWare، Chapter 1: Propositions، Mathematics for Computer Science، Massachusetts Institute of Technology. این منبع دانشگاهی گزارهها را در ابتدای مباحث اثبات و منطق ریاضی معرفی میکند.
مشاهده منبع در MIT OpenCourseWare
- Stanford University، Introduction to Logic – Chapter 2: Propositional Logic. این منبع ساختار منطق گزارهای، گزارههای ساده و مرکب و رابطهای منطقی اصلی را بررسی میکند.
مشاهده منبع در Stanford University
- Mathematics LibreTexts، Propositional Logic. این منبع دانشگاهی مفاهیم گزاره، ارزش صدق، رابطهای منطقی و جدولهای ارزش را بررسی میکند.
مشاهده منبع در Mathematics LibreTexts
- Mathematics LibreTexts، Propositions and Logical Operators. این منبع تعریف گزاره و رابطهای منطقی و نحوه ترکیب گزارهها را ارائه میکند.
مشاهده منبع در Mathematics LibreTexts
- دانشنامه رشد، «گزاره». این منبع فارسی، تعریف گزاره، ارزش گزاره و تمایز گزاره از جملههای پرسشی و امری را ارائه میکند.
مشاهده منبع در دانشنامه رشد
- Arizona State University، School of Mathematical and Statistical Sciences، Propositional Logic. این منبع دانشگاهی مباحث گزاره، عملگرهای منطقی، جدول ارزش، شرطی، دوشرطی و ساختارهای مرتبط را پوشش میدهد.
مشاهده منبع در Arizona State University
تاریخ بررسی منابع: ۱۳ اوت ۲۰۲۶ — ۲۲ مرداد ۱۴۰۵