در منطق ریاضی، گاهی یک مفهوم یا نتیجه را میتوان با چند عبارت منطقی متفاوت بیان کرد. ممکن است ظاهر دو عبارت کاملاً متفاوت باشد، اما اگر در تمام حالتهای ممکن دقیقاً ارزش صدق یکسانی داشته باشند، از دیدگاه منطق گزارهها تفاوتی میان آنها وجود ندارد. این مفهوم را همارزی منطقی مینامیم.
همارزی منطقی فقط یک ابزار محاسباتی نیست؛ بلکه در سادهسازی عبارتهای منطقی، طراحی و بررسی استدلالها، اثبات قضایا، طراحی مدارهای منطقی و علوم کامپیوتر نیز کاربرد دارد. برای نمونه، عبارت شرطی \(p \rightarrow q\) از نظر منطقی با \( \neg p \lor q \) همارز است؛ بنابراین میتوان یکی را بدون تغییر معنای منطقی با دیگری جایگزین کرد.
برای فهم این موضوع، ابتدا باید با گزاره و ارزش صدق آن آشنا باشیم. همچنین عطف و فصل و شرطی و دوشرطی از مفاهیم مهم مورد استفاده در این مبحث هستند.
پیشنیازهای همارزی منطقی
یک گزاره جملهای است که دقیقاً یکی از دو ارزش صدق «درست» یا «نادرست» را دارد. برای نمایش این دو حالت معمولاً از \(T\) برای درست و \(F\) برای نادرست استفاده میشود.
با استفاده از گزارههای ساده میتوان گزارههای مرکب ساخت. برای مثال، اگر \(p\) و \(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\) و \(q\) یکسان باشد.
همارزی منطقی معمولاً با نماد زیر نمایش داده میشود:
\[ p \equiv q \]
بنابراین معنای دقیق رابطه \(p \equiv q\) این است که در هیچ حالت ممکنی وجود ندارد که یکی از دو عبارت درست و دیگری نادرست باشد.
توضیح شهودی
فرض کنید دو عبارت منطقی متفاوت داریم. اگر تمام حالتهای ممکن را بررسی کنیم و ببینیم که هر جا عبارت اول درست است، عبارت دوم نیز درست است و هر جا عبارت اول نادرست است، عبارت دوم نیز نادرست است، این دو عبارت همارز منطقی هستند.
در واقع، ممکن است ساختار ظاهری دو عبارت متفاوت باشد، اما رفتار منطقی آنها کاملاً یکسان باشد.
نماد همارزی منطقی
رایجترین نماد همارزی منطقی \( \equiv \) است. برای مثال:
\[ p \rightarrow q \equiv \neg p \lor q \]
این رابطه میگوید که عبارت \(p \rightarrow q\) و عبارت \( \neg p \lor q \) برای تمام ارزشدهیهای ممکن، ارزش صدق یکسان دارند.
در برخی منابع از نمادهایی مانند \( \Leftrightarrow \) یا عبارت «همارز منطقی» نیز استفاده میشود، اما باید توجه کرد که نمادگذاری ممکن است میان کتابها متفاوت باشد. در این مقاله \( \equiv \) را برای نمایش همارزی منطقی به کار میبریم.
تفاوت همارزی منطقی با دوشرطی
یکی از نکات مهم این است که \(p \equiv q\) با \(p \leftrightarrow q\) یکسان نیست، هرچند ارتباط بسیار نزدیکی میان آنها وجود دارد.
عبارت \(p \leftrightarrow q\) خودش یک گزاره مرکب است. این گزاره زمانی درست است که \(p\) و \(q\) ارزش صدق یکسان داشته باشند.
اما \(p \equiv q\) بیان میکند که این یکسانی برای تمام ارزشدهیهای ممکن برقرار است.
نتیجه مهم این است:
\[ p \equiv q \quad \Longleftrightarrow \quad p \leftrightarrow q \text{ یک همانگویی است.} \]
بنابراین برای بررسی همارزی دو عبارت میتوان جدول ارزش \(p \leftrightarrow q\) را تشکیل داد. اگر ستون نهایی در تمام ردیفها درست باشد، دو عبارت همارز منطقی هستند.
روش اول اثبات همارزی منطقی: جدول ارزش
مستقیمترین روش برای بررسی همارزی منطقی دو عبارت گزارهای، ساختن جدول ارزش است. در این روش تمام حالتهای ممکن ارزش صدق متغیرهای گزارهای را بررسی میکنیم.
اگر \(n\) متغیر گزارهای مستقل داشته باشیم، جدول ارزش به \(2^n\) ردیف نیاز دارد.
برای مثال، اگر دو متغیر \(p\) و \(q\) داشته باشیم، تعداد حالتهای ممکن برابر است با:
\[ 2^2 = 4 \]
بنابراین جدول ارزش چهار ردیف خواهد داشت.
مثال: اثبات همارزی \(p \rightarrow q\) و \(\neg p \lor q\)
میخواهیم نشان دهیم:
\[ p \rightarrow q \equiv \neg p \lor q \]
جدول ارزش را تشکیل میدهیم:
| \(p\) |
\(q\) |
\(p \rightarrow q\) |
\(\neg p\) |
\(\neg p \lor q\) |
| \(T\) |
\(T\) |
\(T\) |
\(F\) |
\(T\) |
| \(T\) |
\(F\) |
\(F\) |
\(F\) |
\(F\) |
| \(F\) |
\(T\) |
\(T\) |
\(T\) |
\(T\) |
| \(F\) |
\(F\) |
\(T\) |
\(T\) |
\(T\) |
دو ستون آخر مربوط به دو عبارت موردنظر هستند و در هر چهار ردیف یکساناند. بنابراین:
\[ p \rightarrow q \equiv \neg p \lor q \]
روش دوم اثبات: نشان دادن همانگویی بودن دوشرطی
روش دیگری برای اثبات همارزی این است که دو عبارت را به صورت یک دوشرطی در کنار یکدیگر قرار دهیم و نشان دهیم حاصل همیشه درست است.
برای دو عبارت \(p\) و \(q\)، باید بررسی کنیم که:
\[ (p \leftrightarrow q) \]
آیا در تمام حالتهای ممکن درست است یا خیر.
اگر:
\[ p \leftrightarrow q \]
یک همانگویی باشد، آنگاه:
\[ p \equiv q \]
برقرار است.
قوانین مهم همارزی منطقی
مجموعهای از همارزیهای پایه در منطق گزارهها وجود دارد که برای سادهسازی عبارتهای منطقی و اثبات همارزیها بسیار مهم هستند.
قانون همانی
برای عطف و فصل داریم:
\[ p \land T \equiv p \]
\[ p \lor F \equiv p \]
در اینجا \(T\) نشاندهنده یک گزاره همیشه درست و \(F\) نشاندهنده یک گزاره همیشه نادرست است.
قانون غلبه
\[ p \lor T \equiv T \]
\[ p \land F \equiv F \]
در فصل با یک گزاره همیشه درست، نتیجه همیشه درست است و در عطف با یک گزاره همیشه نادرست، نتیجه همیشه نادرست خواهد بود.
قانون تکرار
\[ p \lor p \equiv p \]
\[ p \land p \equiv p \]
قانون نقیض
\[ p \lor \neg p \equiv T \]
\[ p \land \neg p \equiv F \]
عبارت \(p \lor \neg p\) همیشه درست است و یک همانگویی محسوب میشود؛ در مقابل، \(p \land \neg p\) همیشه نادرست است و تناقض محسوب میشود.
قانون نقیض مضاعف
\[ \neg(\neg p) \equiv p \]
یعنی نقیض نقیض یک گزاره با خود آن گزاره همارز است.
قوانین جابهجایی
در عطف و فصل میتوان ترتیب دو گزاره را تغییر داد:
\[ p \land q \equiv q \land p \]
\[ p \lor q \equiv q \lor p \]
قوانین شرکتپذیری
در عطف:
\[ (p \land q) \land r \equiv p \land (q \land r) \]
و در فصل:
\[ (p \lor q) \lor r \equiv p \lor (q \lor r) \]
بنابراین در این دو عملگر، جابهجایی پرانتزها بدون تغییر ارزش منطقی امکانپذیر است.
قوانین توزیع
عطف نسبت به فصل توزیعپذیر است:
\[ p \land (q \lor r) \equiv (p \land q) \lor (p \land r) \]
فصل نیز نسبت به عطف توزیعپذیر است:
\[ p \lor (q \land r) \equiv (p \lor q) \land (p \lor r) \]
قوانین دمورگان
دو قانون بسیار مهم دمورگان عبارتاند از:
\[ \neg(p \land q) \equiv \neg p \lor \neg q \]
و:
\[ \neg(p \lor q) \equiv \neg p \land \neg q \]
این قوانین هنگام سادهسازی نقیض گزارههای مرکب اهمیت زیادی دارند.
قانون همارزی شرطی
یکی از پرکاربردترین همارزیهای منطق گزارهها عبارت است از:
\[ p \rightarrow q \equiv \neg p \lor q \]
این رابطه نشان میدهد که شرطی را میتوان بدون تغییر معنای منطقی به صورت یک فصل نوشت.
همارزی مربوط به دوشرطی
دوشرطی را میتوان به صورت عطف دو شرط متقابل نوشت:
\[ p \leftrightarrow q \equiv (p \rightarrow q) \land (q \rightarrow p) \]
با استفاده از همارزی شرطی، میتوان شکل دیگری نیز به دست آورد:
\[ p \leftrightarrow q \equiv (\neg p \lor q) \land (\neg q \lor p) \]
همارزی منطقی و همانگویی
یک عبارت منطقی که در تمام ارزشدهیهای ممکن درست باشد، همانگویی نام دارد.
اگر دو عبارت \(p\) و \(q\) همارز باشند، آنگاه دوشرطی آنها یک همانگویی است:
\[ p \equiv q \quad \Longleftrightarrow \quad p \leftrightarrow q \text{ همانگویی است.} \]
این ویژگی یکی از مهمترین معیارهای تشخیص همارزی منطقی است.
همارزی منطقی و استلزام منطقی
همارزی منطقی را نباید با استلزام منطقی یکی دانست. اگر \(p\) استلزام منطقیِ \(q\) باشد، هر ارزشدهیای که \(p\) را درست کند، \(q\) را نیز درست میکند؛ اما ممکن است \(q\) در حالتهای بیشتری نیز درست باشد.
در همارزی منطقی، رابطه دوطرفه است: هر ارزشدهی که \(p\) را درست کند، \(q\) را نیز درست میکند و برعکس.
به زبان نمادین، همارزی را میتوان به صورت دو استلزام متقابل بیان کرد:
\[ p \equiv q \quad \Longleftrightarrow \quad (p \models q) \land (q \models p) \]
مثال حلشده ۱: بررسی همارزی دو عبارت ساده
بررسی کنید آیا دو عبارت زیر همارز منطقی هستند یا خیر:
\[ p \lor p \]
و:
\[ p \]
جدول ارزش را تشکیل میدهیم:
| \(p\) |
\(p \lor p\) |
\(p\) |
| \(T\) |
\(T\) |
\(T\) |
| \(F\) |
\(F\) |
\(F\) |
دو ستون نهایی یکساناند. بنابراین:
\[ p \lor p \equiv p \]
این همان قانون تکرار در فصل است.
مثال حلشده ۲: قانون دمورگان
نشان دهید:
\[ \neg(p \lor q) \equiv \neg p \land \neg q \]
جدول ارزش:
| \(p\) |
\(q\) |
\(p \lor q\) |
\(\neg(p \lor q)\) |
\(\neg p\) |
\(\neg q\) |
\(\neg p \land \neg q\) |
| \(T\) |
\(T\) |
\(T\) |
\(F\) |
\(F\) |
\(F\) |
\(F\) |
| \(T\) |
\(F\) |
\(T\) |
\(F\) |
\(F\) |
\(T\) |
\(F\) |
| \(F\) |
\(T\) |
\(T\) |
\(F\) |
\(T\) |
\(F\) |
\(F\) |
| \(F\) |
\(F\) |
\(F\) |
\(T\) |
\(T\) |
\(T\) |
\(T\) |
دو ستون مربوط به عبارتهای موردنظر در تمام ردیفها یکساناند. بنابراین:
\[ \neg(p \lor q) \equiv \neg p \land \neg q \]
مثال حلشده ۳: سادهسازی یک عبارت منطقی
عبارت زیر را ساده کنید:
\[ \neg(p \land q) \lor p \]
ابتدا از قانون دمورگان استفاده میکنیم:
\[ \neg(p \land q) \equiv \neg p \lor \neg q \]
بنابراین:
\[ \neg(p \land q)\lor p \equiv (\neg p\lor\neg q)\lor p \]
با استفاده از جابهجایی و شرکتپذیری:
\[ (\neg p\lor\neg q)\lor p \equiv (p\lor\neg p)\lor\neg q \]
چون:
\[ p\lor\neg p\equiv T \]
داریم:
\[ T\lor\neg q\equiv T \]
بنابراین عبارت اولیه با \(T\) همارز است:
\[ \boxed{ \neg(p\land q)\lor p\equiv T } \]
پس عبارت دادهشده یک همانگویی است.
مثال حلشده ۴: بررسی یک همارزی نادرست
بررسی کنید آیا رابطه زیر درست است:
\[ p\land(q\lor r) \equiv (p\land q)\lor r \]
در سمت چپ از قانون توزیع داریم:
\[ p\land(q\lor r) \equiv (p\land q)\lor(p\land r) \]
بنابراین عبارت سمت راست، که برابر با \((p\land q)\lor r\) است، الزاماً با سمت چپ یکسان نیست.
برای یافتن یک ضدنمونه، مقدارهای زیر را انتخاب میکنیم:
\[ p=F,\qquad q=F,\qquad r=T \]
در این حالت سمت چپ:
\[ p\land(q\lor r) = F\land(F\lor T) = F \]
اما سمت راست:
\[ (p\land q)\lor r = (F\land F)\lor T = T \]
چون یک حالت وجود دارد که در آن دو عبارت ارزشهای متفاوتی دارند، همارز منطقی نیستند:
\[ p\land(q\lor r) \not\equiv (p\land q)\lor r \]
مثال حلشده ۵: اثبات همارزی با زنجیره قوانین
عبارت زیر را در نظر بگیرید:
\[ \neg(p\rightarrow q) \]
میخواهیم آن را ساده کنیم.
ابتدا از همارزی شرطی استفاده میکنیم:
\[ p\rightarrow q \equiv \neg p\lor q \]
بنابراین:
\[ \neg(p\rightarrow q) \equiv \neg(\neg p\lor q) \]
با قانون دمورگان:
\[ \neg(\neg p\lor q) \equiv \neg(\neg p)\land\neg q \]
با قانون نقیض مضاعف:
\[ \neg(\neg p)\equiv p \]
در نتیجه:
\[ \boxed{ \neg(p\rightarrow q) \equiv p\land\neg q } \]
این نتیجه از نظر مفهومی نیز قابل توجه است: یک شرطی فقط در حالتی نادرست است که مقدم درست و تالی نادرست باشد؛ بنابراین نقیض شرطی دقیقاً با \(p\land\neg q\) همارز است.
ویژگیهای رابطه همارزی منطقی
همارزی منطقی علاوه بر کاربرد در سادهسازی عبارتها، از نظر ساختار ریاضی نیز ویژگیهای مهمی دارد.
خاصیت بازتابی
هر عبارت با خودش همارز است:
\[ p\equiv p \]
خاصیت تقارنی
اگر \(p\) و \(q\) همارز باشند، آنگاه \(q\) و \(p\) نیز همارزند:
\[ p\equiv q \quad\Longrightarrow\quad q\equiv p \]
خاصیت تعدی
اگر:
\[ p\equiv q \]
و:
\[ q\equiv r \]
آنگاه:
\[ p\equiv r \]
بنابراین همارزی منطقی یک رابطه همارزی است.
اصل جایگزینی در همارزی منطقی
یکی از مهمترین کاربردهای همارزی منطقی این است که میتوان یک عبارت را با عبارت همارز آن جایگزین کرد، بدون اینکه ارزش منطقی کل عبارت تغییر کند.
برای مثال، چون:
\[ p\rightarrow q \equiv \neg p\lor q \]
اگر عبارت \(p\rightarrow q\) در یک فرمول بزرگتر ظاهر شود، میتوان آن را با \(\neg p\lor q\) جایگزین کرد و همارزی منطقی را حفظ کرد.
این اصل اساس بسیاری از روشهای سادهسازی عبارتهای منطقی و تبدیل آنها به شکلهای استاندارد است.
همارزی منطقی در سادهسازی عبارتها
هنگام سادهسازی، هدف این نیست که صرفاً ظاهر عبارت کوتاهتر شود؛ هدف این است که عبارت جدید با عبارت اصلی همارز منطقی باشد.
برای مثال:
\[ p\lor(p\land q) \equiv p \]
این نتیجه با استفاده از قانون جذب به دست میآید.
دو قانون جذب مهم عبارتاند از:
\[ p\lor(p\land q)\equiv p \]
و:
\[ p\land(p\lor q)\equiv p \]
استفاده از چنین قوانینی میتواند یک عبارت پیچیده را به شکل بسیار سادهتری تبدیل کند.
همارزی منطقی و قوانین دمورگان
قوانین دمورگان از مهمترین ابزارهای تبدیل عبارتهای منطقی هستند. برای یادگیری عمیقتر این قوانین باید به این نکته توجه کرد که هنگام انتقال نقیض به داخل پرانتز، هم عملگر و هم اجزای آن تغییر میکنند.
برای عطف:
\[ \neg(p\land q) \equiv \neg p\lor\neg q \]
و برای فصل:
\[ \neg(p\lor q) \equiv \neg p\land\neg q \]
اشتباه رایج این است که فقط اجزای گزاره نقیض شوند ولی عملگر منطقی تغییر نکند. چنین تبدیلی عموماً نادرست است.
کاربردهای همارزی منطقی
در اثباتهای ریاضی
در بسیاری از اثباتها، یک عبارت پیچیده را به عبارت سادهتری تبدیل میکنیم که با آن همارز است. این کار باعث میشود ساختار منطقی گزاره بهتر دیده شود.
در منطق ریاضی
همارزی منطقی یکی از ابزارهای اصلی برای تحلیل ساختار گزارهها، همانگوییها، تناقضها و تبدیل فرمولهای منطقی است.
در علوم کامپیوتر
قوانین همارزی منطقی در طراحی و سادهسازی مدارهای منطقی، طراحی الگوریتمها، بررسی شرایط برنامهها و مباحث نظری علوم کامپیوتر کاربرد دارند.
در طراحی مدارهای منطقی
مدارهایی که از نظر منطقی خروجی یکسانی برای تمام ورودیهای ممکن تولید میکنند، میتوانند از دیدگاه منطقی معادل باشند. بنابراین قوانین همارزی میتوانند برای سادهسازی ساختار یک مدار به کار روند.
اشتباهات رایج در همارزی منطقی
اشتباه اول: یکی دانستن همارزی با شباهت ظاهری
دو عبارت ممکن است از نظر ظاهری بسیار شبیه باشند اما همارز نباشند. معیار همارزی، یکسان بودن ارزش صدق در همه حالتهای ممکن است.
اشتباه دوم: اشتباه گرفتن \(=\) با \( \equiv \)
در این مبحث، نماد \( \equiv \) برای بیان همارزی منطقی بسیار مناسب است. تساوی معمولی \(=\) مفهومی متفاوت دارد و نباید بدون توجه به زمینه به جای همارزی منطقی استفاده شود.
اشتباه سوم: اشتباه گرفتن همارزی با یکسان بودن دوشرطی در یک حالت خاص
اینکه \(p\leftrightarrow q\) در یک ارزشدهی خاص درست باشد، برای اثبات \(p\equiv q\) کافی نیست. باید تمام ارزشدهیهای ممکن بررسی شوند.
اشتباه چهارم: استفاده نادرست از قوانین دمورگان
باید توجه کرد که:
\[ \neg(p\land q) \equiv \neg p\lor\neg q \]
نه:
\[ \neg p\land\neg q \]
همچنین:
\[ \neg(p\lor q) \equiv \neg p\land\neg q \]
اشتباه پنجم: حذف یا جابهجایی پرانتز بدون قانون
پرانتزها ساختار عبارت منطقی را مشخص میکنند. حذف یا جابهجایی آنها فقط زمانی مجاز است که یک قانون معتبر همارزی چنین تبدیلی را توجیه کند.
نکات مهم و عمیقتر
- همارزی منطقی یک رابطه سراسری است؛ یعنی باید برای تمام ارزشدهیهای ممکن برقرار باشد.
- برای دو متغیر گزارهای، جدول ارزش چهار حالت دارد و برای سه متغیر، هشت حالت.
- اگر دو عبارت همارز باشند، جایگزینی یکی با دیگری در یک ساختار منطقی، معنای منطقی را تغییر نمیدهد.
- اگر فقط یک حالت پیدا شود که دو عبارت ارزشهای متفاوت داشته باشند، همارزی منطقی آنها رد میشود.
- همارزی منطقی با استلزام منطقی تفاوت دارد؛ همارزی متضمن رابطه دوطرفه است.
- نشان دادن اینکه \(p\leftrightarrow q\) همانگویی است، روشی معادل با اثبات \(p\equiv q\) است.
- قوانین همارزی فقط برای حفظ ارزش منطقی عبارتها استفاده میشوند و نباید بدون توجه به ساختار عملگرها به کار روند.
جمعبندی
همارزی منطقی یعنی دو عبارت منطقی در تمام ارزشدهیهای ممکن، ارزش صدق یکسان داشته باشند. این مفهوم با نماد \( \equiv \) نمایش داده میشود:
\[ p\equiv q \]
یکی از مهمترین معیارهای تشخیص همارزی این است که دوشرطی آنها همانگویی باشد:
\[ p\equiv q \quad\Longleftrightarrow\quad p\leftrightarrow q \text{ همانگویی است.} \]
جدول ارزش، یکی از مطمئنترین روشهای بررسی همارزی است. در کنار آن، مجموعهای از قوانین مانند قانون نقیض مضاعف، قوانین دمورگان، قوانین جابهجایی، شرکتپذیری، توزیع، جذب و همارزی شرطی امکان سادهسازی و اثبات بسیاری از روابط منطقی را فراهم میکنند.
مهمترین نکته این است که همارزی منطقی به شباهت ظاهری دو عبارت وابسته نیست؛ معیار اصلی، رفتار یکسان آنها در تمام حالتهای ممکن است.
موضوعات مرتبط
منابع
- Kenneth H. Rosen، Discrete Mathematics and Its Applications، ویرایش هشتم، McGraw Hill، 2025 Release. این کتاب یکی از مراجع دانشگاهی شناختهشده در ریاضیات گسسته است و مباحث منطق و اثبات را در فصلهای ابتدایی پوشش میدهد.
مشاهده صفحه کتاب در McGraw Hill
- OpenStax، Contemporary Mathematics، بخش 2.5: Equivalent Statements. این منبع روش بررسی همارزی منطقی با جدول ارزش و ارتباط آن با همانگویی را توضیح میدهد.
مشاهده منبع در OpenStax
- Open Math Books، Discrete Mathematics: An Open Introduction، Propositional Logic. این منبع تعریف همارزی منطقی و نمونههایی مانند \(p\rightarrow q\equiv\neg p\lor q\) و قوانین دمورگان را بررسی میکند.
مشاهده منبع در Open Math Books
- University of Edinburgh، Richard Mayr، Discrete Mathematics, Chapter 1.1–1.3. در این جزوه دانشگاهی، همارزی منطقی بر اساس یکسان بودن ستونهای جدول ارزش و ارتباط آن با همانگویی توضیح داده شده است.
مشاهده جزوه دانشگاه ادینبرو
- University of Western Ontario، Discrete Structures for Computing، Propositional Logic. این منبع دانشگاهی همارزی منطقی را بهعنوان یکی از پایههای اثباتهای منطقی و تبدیل عبارتهای گزارهای بررسی میکند.
مشاهده منبع دانشگاه Western Ontario
- Stanford University، Introduction to Logic، Chapter 8: Logical Relationships. این منبع مفهوم همارزی منطقی را بر اساس یکسان بودن مجموعه ارزشدهیهای صدق و رابطه آن با استلزام منطقی توضیح میدهد.
مشاهده منبع دانشگاه استنفورد
- Stanford Encyclopedia of Philosophy، Propositional Logic، ویرایش تابستان 2023. این منبع برای بررسی مبانی نظری منطق گزارهها و نقش عملگرهای منطقی استفاده شده است.
مشاهده منبع در Stanford Encyclopedia of Philosophy
تاریخ بررسی منابع: ۲۲ مرداد ۱۴۰۵