گزاره همواره درست: مفاهیم، انواع و کاربردها در منطق و ریاضیات
تمایز توتولوژی از گزاره عادی و تناقض
در منطق گزارهها1، هر جمله خبری که بتواند درست یا نادرست باشد، یک گزاره نامیده میشود. برخی گزارهها برای بعضی حالتها درست و برای بعضی دیگر نادرست هستند. اما گزاره همواره درست (توتولوژی) برای همه ترکیبهای ممکن از مقدار متغیرها، مقدار درست دارد. در مقابل، تناقض (کانترادیکشن) گزارهای است که در همه حالتها نادرست است.
برای مثال، گزاره «امروز هوا بارانی است» یک گزاره عادی است که گاهی درست و گاهی نادرست است. اما گزاره «امروز هوا بارانی است یا امروز هوا بارانی نیست» همیشه درست خواهد بود، چون یکی از دو حالت حتماً رخ میدهد. این گزاره یک توتولوژی است. به همین ترتیب، گزاره «امروز هوا بارانی است و امروز هوا بارانی نیست» همیشه نادرست است و یک تناقض محسوب میشود.
| نوع گزاره | ویژگی اصلی | مثال با متغیر P |
|---|---|---|
| توتولوژی (همواره درست) | در همه حالتها مقدار درست | $P \lor \lnot P$ |
| گزاره عادی | بسته به حالت درست یا نادرست | $P$ |
| تناقض (همواره نادرست) | در همه حالتها مقدار نادرست | $P \land \lnot P$ |
رسم جدول حقیقت برای شناسایی گزاره همواره درست
برای اینکه مطمئن شوید یک گزاره ترکیبی توتولوژی است، باید جدول حقیقت2 آن را تشکیل دهید. در این جدول، تمام حالتهای ممکن برای متغیرهای ورودی را نوشته و سپس مقدار نهایی گزاره را محاسبه میکنیم. اگر در همه سطرها مقدار نهایی درست بود، گزاره همواره درست است.
به عنوان مثال، گزاره $(P \rightarrow Q) \leftrightarrow (\lnot Q \rightarrow \lnot P)$ را در نظر بگیرید. این گزاره بیان میکند که «اگر P آنگاه Q» با «اگر نقیض Q آنگاه نقیض P» همارز است. جدول حقیقت زیر صحت همیشگی آن را نشان میدهد.
| $P$ | $Q$ | $P \rightarrow Q$ | $\lnot Q$ | $\lnot P$ | $\lnot Q \rightarrow \lnot P$ | $(P \rightarrow Q) \leftrightarrow (\lnot Q \rightarrow \lnot P)$ |
|---|---|---|---|---|---|---|
| درست | درست | درست | نادرست | نادرست | درست | درست |
| درست | نادرست | نادرست | درست | نادرست | نادرست | درست |
| نادرست | درست | درست | نادرست | درست | درست | درست |
| نادرست | نادرست | درست | درست | درست | درست | درست |
همانطور که در ستون آخر جدول میبینید، خروجی نهایی برای هر $4$ حالت ممکن، درست است. بنابراین این گزاره یک توتولوژی محسوب میشود و قانون منطقی معتبری است.
کاربرد عملی گزارههای همواره درست در اثبات قضایا
در ریاضیات و برنامهنویسی، توتولوژیها نقش کلیدی دارند. فرض کنید میخواهید یک قضیه هندسی را اثبات کنید. اگر بتوانید نشان دهید که نتیجه قضیه به شکل $A \rightarrow B$ است و همارز با یک توتولوژی شناخته شده است، اثبات شما معتبر خواهد بود.
مثال عینی: در مثلثها، گزاره «اگر یک مثلث متساویالساقین باشد، آنگاه دو زاویهٔ پای آن برابر است» را در نظر بگیرید. میتوان این گزاره را با نقیضش اثبات کرد: «اگر دو زاویهٔ پای برابر نباشند، آنگاه مثلث متساویالساقین نیست». این همان قانون $(P \rightarrow Q) \leftrightarrow (\lnot Q \rightarrow \lnot P)$ است که در جدول بالا دیدیم. چون این قانون یک توتولوژی است، بهکارگیری آن در استدلال، صحت استنتاج را تضمین میکند.
در برنامهنویسی، شرطهایی مانند if (x > 5 or not (x > 5)) همیشه درست ارزیابی میشوند. به همین دلیل، برنامهنویسان حرفهای از نوشتن چنین شرطهایی اجتناب میکنند، زیرا هیچ تغییری در جریان اجرا ایجاد نمیکنند.
چالشهای مفهومی در تشخیص گزارههای همواره درست
پاسخ: بله. اگر P درست باشد، $P \lor Q$ نیز درست است و اگر P نادرست باشد، شرط $P \rightarrow ...$ از روی تعریف درست محسوب میشود. در هر دو حالت، خروجی نهایی درست است.
پاسخ: دو گزاره $X$ و $Y$ همارز هستند اگر $X \leftrightarrow Y$ یک توتولوژی باشد. بنابراین گزاره همواره درست مفهومی کلیتر است، در حالی که همارزی منطقی حالت خاصی از آن برای دو گزاره است.
پاسخ: خیر. این گزاره فقط زمانی درست است که دقیقاً یکی از P یا Q درست باشد. اگر هر دو درست یا هر دو نادرست باشند، گزاره نادرست میشود. بنابراین توتولوژی نیست، بلکه یک گزاره عادی است.
پاورقی
1 گزاره (Proposition): جملهای خبری که میتواند درست یا نادرست باشد و نمیتواند همزمان هر دو حالت را داشته باشد.
2 جدول حقیقت (Truth Table): جدولی که تمام ترکیبهای ممکن ورودیهای یک عبارت منطقی را نشان میدهد و مقدار خروجی را برای هر ترکیب محاسبه میکند.
3 قانون طرد شق ثالث (Law of Excluded Middle): اصل منطقی که میگوید برای هر گزاره $P$، یا خود $P$ درست است یا نقیض آن $\lnot P$، و هیچ حالت سومی وجود ندارد.