همارزی منطقی: راز یکسان بودن ارزش دو گزاره در همه حال
تعریف همارزی منطقی و جدول ارزش
دو گزاره $P$ و $Q$ را همارز منطقی گوییم هرگاه در تمام ترکیبهای ارزش درست و نادرست، ارزش $P$ و $Q$ یکسان باشد. به عبارت دیگر، رابطۀ دوطرفهای بین آنها برقرار است که در آن نادرست بودن یکی مستلزم نادرست بودن دیگری است. نماد همارزی به صورت $P \equiv Q$ یا $P \leftrightarrow Q$ نشان داده میشود. برای درک بهتر، جدول ارزش را بررسی میکنیم.
| گزاره $P$ | گزاره $Q$ | $P \equiv Q$ |
|---|---|---|
| $درست$ | $درست$ | $درست$ |
| $درست$ | $نادرست$ | $نادرست$ |
| $نادرست$ | $درست$ | $نادرست$ |
| $نادرست$ | $نادرست$ | $درست$ |
قوانین دمورگان؛ دو همارزی مهم در نقیض عطف و فصل
یکی از مشهورترین همارزیهای منطقی، قوانین دمورگان هستند که رابطۀ بین نقیض عطف (و) و نقیض فصل (یا) را نشان میدهند. این قوانین در ریاضیات، برنامهنویسی و مدارهای منطقی کاربرد گستردهای دارند. فرض کنید $P$ و $Q$ دو گزاره باشند:
- قانون اول: $\neg (P \land Q) \equiv (\neg P) \lor (\neg Q)$ (نقیض عطف برابر است با فصل نقیضها)
- قانون دوم: $\neg (P \lor Q) \equiv (\neg P) \land (\neg Q)$ (نقیض فصل برابر است با عطف نقیضها)
مثال روزمره: فرض کنید جمله «امروز هوا سرد است و باران میبارد» نادرست باشد. این معادل است با اینکه «یا هوا سرد نیست، یا باران نمیبارد» (یا هر دو). به کمک جدول زیر میتوان درستی قانون اول را بررسی کرد.
| $P$ | $Q$ | $P \land Q$ | $\neg (P \land Q)$ | $\neg P$ | $\neg Q$ | $(\neg P) \lor (\neg Q)$ |
|---|---|---|---|---|---|---|
| درست | درست | درست | نادرست | نادرست | نادرست | نادرست |
| درست | نادرست | نادرست | درست | نادرست | درست | درست |
| نادرست | درست | نادرست | درست | درست | نادرست | درست |
| نادرست | نادرست | نادرست | درست | درست | درست | درست |
ستون چهارم و هفتم کاملاً یکسان هستند، بنابراین همارزی اثبات میشود.
کاربرد عملی: سادهسازی عبارتهای شرطی در حل مسئله
فرض کنید در یک مسابقه، قانون زیر وضع شده باشد: «اگر برنده شوی، جایزه میگیری و اگر جایزه بگیری، برنده شدهای». این قانون معادل است با «برنده میشوی اگر و تنها اگر جایزه بگیری». در منطق، گزاره شرطی $P \rightarrow Q$ (اگر P آنگاه Q) با نقیض خودش همارز نیست، اما همارزی مهمی به نام «عکس نقیض» وجود دارد:
یعنی «اگر باران ببارد، زمین خیس است» با «اگر زمین خیس نباشد، باران نباریده است» کاملاً همارز است. این اصل در اثباتهای ریاضی بسیار کاربرد دارد: گاهی اثبات عکس نقیض یک قضیه آسانتر از اثبات مستقیم آن است.
چالشهای مفهومی
پرسش ۱: آیا هر دو گزارهای که ارزش منطقی یکسانی دارند، حتماً همارز هستند؟
خیر. همارزی منطقی نیازمند یکسانی ارزش در همه حالتهای ممکن است. اگر دو گزاره صرفاً در یک وضعیت خاص ارزش یکسان داشته باشند، همارز نامیده نمیشوند. مثلاً $P$ و $P \land P$ همارزند (همیشه یکسان)، اما $P$ و $Q$ فقط وقتی یکساناند که هر دو درست یا نادرست باشند، در بقیه حالتها متفاوتند.
پرسش ۲: تفاوت بین همارزی منطقی و رابطۀ شرطی دوطرفه چیست؟
از نظر ارزش جدول، تفاوتی ندارند. هر دو $P \equiv Q$ و $P \leftrightarrow Q$ در یک حالت درست هستند: وقتی $P$ و $Q$ یکسان باشند. اما در منطق، نماد $\equiv$ معمولاً برای همارزی منطقی (رابطهای بین گزارهها) و $\leftrightarrow$ برای عملگر شرطی دوطرفه (ساخت یک گزاره جدید) به کار میرود. با این حال از نظر ارزشی، یکی هستند.
پرسش ۳: چگونه میتوان از همارزی برای اثبات یک قضیه استفاده کرد؟
فرض کنید میخواهیم گزاره $A$ را اثبات کنیم. اگر نشان دهیم $A \equiv B$ و اثبات $B$ سادهتر باشد، کار به پایان رسیده است. مثلاً در ریاضیات، برای اثبات «اگر عددی زوج است، مربع آن زوج است» میتوان از عکس نقیض آن استفاده کرد: «اگر مربع عددی فرد باشد، آن عدد فرد است» که اثبات آن آسانتر است.
پاورقی
1 دمورگان (De Morgan): آگوستوس دمورگان، ریاضیدان و منطقدان بریتانیایی که قوانین معروف خود را در جبر مجموعهها و منطق ارائه داد.
2 نقیض (Negation): عملگر منطقی که ارزش یک گزاره را برعکس میکند؛ اگر گزاره درست باشد، نقیض آن نادرست و بالعکس.
3 شرطی (Conditional): گزارهای به شکل «اگر P آنگاه Q» که تنها در حالتی نادرست است که P درست و Q نادرست باشد.