در منطق ریاضی، بسیاری از گزارهها فقط یک واقعیت ساده را بیان نمیکنند، بلکه میان دو وضعیت یا دو گزاره رابطه برقرار میکنند. جملههایی مانند «اگر عددی بر ۲ بخشپذیر باشد، آنگاه زوج است» یا «یک عدد زوج است اگر و تنها اگر بر ۲ بخشپذیر باشد» نمونههایی از چنین روابطی هستند.
در منابع استاندارد منطق گزارهای، شرطی معمولاً با نماد \(p\rightarrow q\) و دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده میشوند. در منطق کلاسیک، شرطی تنها در حالتی نادرست است که مقدم درست و تالی نادرست باشد؛ دوشرطی نیز زمانی درست است که دو جزء آن ارزش صدق یکسانی داشته باشند. منبع دانشگاه استنفورد
درک درست این دو عملگر برای مطالعه جدول ارزش، همارزی منطقی، روشهای اثبات و بسیاری از مباحث ریاضیات گسسته ضروری است. کتابهای دانشگاهی مانند آثار روزن، اپ و گریمَلدی نیز منطق گزارهای و عملگرهای منطقی را در شمار مباحث بنیادی ریاضیات گسسته قرار میدهند.
گزاره جملهای است که در منطق کلاسیک دقیقاً یکی از دو ارزش صدق «درست» یا «نادرست» را دارد. این دو ارزش را معمولاً با \(T\) و \(F\)، یا با \(1\) و \(0\)، نمایش میدهند.
اگر دو گزاره \(p\) و \(q\) داشته باشیم، میتوان با استفاده از عملگرهای منطقی، گزارههای مرکب جدیدی مانند \(p\rightarrow q\) و \(p\leftrightarrow q\) ساخت.
این عبارت معمولاً به صورت «اگر \(p\)، آنگاه \(q\)» خوانده میشود.
در منطق گزارهای، معنای دقیق شرطی از طریق جدول ارزش تعیین میشود و صرفاً به برداشت روزمره از واژه «اگر» وابسته نیست. این نکته اهمیت زیادی دارد؛ زیرا شرطی منطقی دارای معنای فنی مشخصی است که به آن شرطی مادی یا material implication نیز گفته میشود. Stanford University
رایجترین نماد شرطی در متون منطق و ریاضیات گسسته، \(\rightarrow\) است. بنابراین:
یعنی «اگر \(p\)، آنگاه \(q\)».
در برخی منابع ممکن است از نمادهای دیگری مانند \(\Rightarrow\) نیز استفاده شود. بنابراین ممکن است یک گزاره به صورت زیر نوشته شود:
در یک متن مشخص باید قرارداد نمادگذاری همان متن را در نظر گرفت.
به عنوان مثال در جمله «اگر عددی مضرب ۴ باشد، آنگاه زوج است»، گزاره «عدد مضرب ۴ است» مقدم و گزاره «عدد زوج است» تالی است.
جهت شرطی اهمیت دارد. به طور کلی:
$$
p\rightarrow q
$$
با:
$$
q\rightarrow p
$$
همارز نیست. گزاره دوم عکس گزاره اول است. Mathematics LibreTexts
ارزش صدق گزاره شرطی
در منطق کلاسیک، گزاره شرطی \(p\rightarrow q\) فقط در یک حالت نادرست است: زمانی که \(p\) درست و \(q\) نادرست باشد.
در سه حالت دیگر، گزاره شرطی درست است.
| \(p\) |
\(q\) |
\(p\rightarrow q\) |
| T |
T |
T |
| T |
F |
F |
| F |
T |
T |
| F |
F |
T |
این تعریف در منابع دانشگاهی منطق گزارهای به صورت استاندارد ارائه میشود. Stanford University
چرا شرطی با مقدم نادرست درست است؟
این موضوع یکی از بخشهایی است که در ابتدای مطالعه منطق گزارهای ممکن است غیرعادی به نظر برسد.
در منطق کلاسیک، \(p\rightarrow q\) به صورت زیر با نقیض مقدم و فصل همارز است:
$$
p\rightarrow q\equiv\neg p\lor q
$$
بنابراین اگر \(p\) نادرست باشد، آنگاه \(\neg p\) درست است و کل عبارت \(\neg p\lor q\) درست خواهد بود؛ مستقل از ارزش \(q\).
این تعریف، همان چیزی است که در منطق گزارهای به عنوان شرطی مادی شناخته میشود و باید آن را از برخی برداشتهای محاورهای از جملههای شرطی جدا کرد.
شرطی و نقیض
نقیض گزاره شرطی رابطه مهمی با مقدم و تالی دارد:
$$
\neg(p\rightarrow q)\equiv p\land\neg q
$$
دلیل آن این است که شرطی فقط در حالتی نادرست است که \(p\) درست و \(q\) نادرست باشد.
بنابراین نقیض جمله «اگر \(p\)، آنگاه \(q\)» این نیست که «اگر \(p\) نباشد، آنگاه \(q\) نباشد»؛ بلکه دقیقاً بیان میکند:
«\(p\) درست است و \(q\) درست نیست.»
برای مطالعه بیشتر درباره این مفهوم میتوانید به مقاله نقیض گزاره مراجعه کنید.
عکس گزاره شرطی
اگر گزاره اصلی:
$$
p\rightarrow q
$$
باشد، عکس آن با جابهجایی مقدم و تالی ساخته میشود:
$$
q\rightarrow p
$$
در حالت کلی:
$$
p\rightarrow q\not\equiv q\rightarrow p
$$
بنابراین از درست بودن یک شرطی نمیتوان در حالت کلی درست بودن عکس آن را نتیجه گرفت.
عکس نقیض
اگر:
$$
p\rightarrow q
$$
شرطی اصلی باشد، عکس نقیض آن عبارت است از:
$$
\neg q\rightarrow\neg p
$$
برخلاف عکس، عکس نقیض با شرطی اصلی همارز منطقی است:
$$
p\rightarrow q
\equiv
\neg q\rightarrow\neg p
$$
این همارزی یکی از روابط مهم در منطق و روشهای اثبات ریاضی است. Mathematics LibreTexts
مثال مقایسه شرطی، عکس و عکس نقیض
فرض کنید:
$$
p:\quad n\text{ بر }4\text{ بخشپذیر است}
$$
$$
q:\quad n\text{ زوج است}
$$
شرطی اصلی:
$$
p\rightarrow q
$$
یعنی:
«اگر \(n\) بر ۴ بخشپذیر باشد، آنگاه \(n\) زوج است.»
عکس آن:
$$
q\rightarrow p
$$
یعنی:
«اگر \(n\) زوج باشد، آنگاه \(n\) بر ۴ بخشپذیر است.»
این گزاره در حالت کلی نادرست است؛ برای مثال \(n=6\) زوج است، اما بر ۴ بخشپذیر نیست.
عکس نقیض شرطی اصلی:
$$
\neg q\rightarrow\neg p
$$
یعنی:
«اگر \(n\) زوج نباشد، آنگاه \(n\) بر ۴ بخشپذیر نیست.»
این گزاره با شرطی اصلی همارز است.
شرط لازم و شرط کافی
گزاره شرطی با مفهومهای شرط کافی و شرط لازم ارتباط مستقیم دارد.
اگر:
$$
p\rightarrow q
$$
باشد، برقرار بودن \(p\) برای نتیجه گرفتن \(q\) کافی است. بنابراین \(p\) یک شرط کافی برای \(q\) است.
از طرف دیگر، برای اینکه \(p\) برقرار باشد، \(q\) باید در این رابطه برقرار باشد. بنابراین \(q\) یک شرط لازم برای \(p\) است.
پس از:
$$
p\rightarrow q
$$
میتوان گفت:
- \(p\) شرط کافی برای \(q\) است.
- \(q\) شرط لازم برای \(p\) است.
این دو مفهوم را نباید با یکدیگر جابهجا کرد.
مثال شرط لازم و کافی
در اعداد صحیح، جمله «زوج بودن» برای «بخشپذیری بر ۲» و برعکس رابطهای دوطرفه دارد. میتوان نوشت:
$$
n\text{ زوج}
\leftrightarrow
2\mid n
$$
بنابراین «زوج بودن» و «بخشپذیر بودن بر ۲» در این دامنه، شرطهای لازم و کافی یکدیگر هستند.
تعریف دوشرطی
اگر \(p\) و \(q\) دو گزاره باشند، گزاره دوشرطی به صورت زیر نوشته میشود:
$$
p\leftrightarrow q
$$
این گزاره معمولاً به صورت «\(p\) اگر و تنها اگر \(q\)» یا «\(p\) در صورتی و تنها در صورتی که \(q\)» خوانده میشود.
دوشرطی در واقع بیان میکند که رابطه شرطی در هر دو جهت برقرار است:
$$
p\leftrightarrow q
\equiv
(p\rightarrow q)\land(q\rightarrow p)
$$
منابع دانشگاهی نیز دوشرطی را ترکیبی از یک شرطی و عکس آن تعریف میکنند. Mathematics LibreTexts
نماد دوشرطی
رایجترین نماد دوشرطی:
$$
\leftrightarrow
$$
است. بنابراین:
$$
p\leftrightarrow q
$$
یعنی:
«\(p\) اگر و تنها اگر \(q\)».
در برخی منابع از نمادهای \(\Leftrightarrow\) یا \(\iff\) نیز برای نمایش همارزی یا دوشرطی استفاده میشود. با این حال، باید توجه کرد که کاربرد دقیق نمادها ممکن است بسته به قرارداد یک کتاب یا درس متفاوت باشد.
ارزش صدق دوشرطی
دوشرطی زمانی درست است که دو جزء آن ارزش صدق یکسانی داشته باشند؛ یعنی یا هر دو درست باشند یا هر دو نادرست.
| \(p\) |
\(q\) |
\(p\leftrightarrow q\) |
| T |
T |
T |
| T |
F |
F |
| F |
T |
F |
| F |
F |
T |
این جدول ارزش در منابع استاندارد منطق گزارهای نیز به همین صورت ارائه میشود. Stanford University
رابطه دوشرطی با شرطی
مهمترین تعریف عملی دوشرطی این است:
$$
p\leftrightarrow q
\equiv
(p\rightarrow q)\land(q\rightarrow p)
$$
بنابراین برای اثبات یک دوشرطی، معمولاً باید دو جهت را بررسی کنیم:
- از \(p\) به \(q\) برسیم.
- از \(q\) به \(p\) برسیم.
به همین دلیل در اثباتهای ریاضی، عبارت «اگر و تنها اگر» معمولاً نیازمند اثبات دو جهت است.
اگر و تنها اگر در ریاضیات
عبارت «اگر و تنها اگر» یکی از رایجترین صورتهای بیان دوشرطی در ریاضیات است.
برای مثال:
«عدد صحیح \(n\) زوج است اگر و تنها اگر بر ۲ بخشپذیر باشد.»
به صورت منطقی میتوان آن را چنین نوشت:
$$
p\leftrightarrow q
$$
که در آن:
$$
p:\quad n\text{ زوج است}
$$
$$
q:\quad 2\mid n
$$
برای اثبات این گزاره دوشرطی، باید هم نشان دهیم زوج بودن \(n\) بخشپذیری بر ۲ را نتیجه میدهد و هم نشان دهیم بخشپذیری بر ۲ زوج بودن \(n\) را نتیجه میدهد.
شرط لازم و کافی
در دوشرطی، هر یک از دو گزاره شرط لازم و کافی برای دیگری است.
اگر:
$$
p\leftrightarrow q
$$
باشد، آنگاه:
- \(p\) شرط لازم و کافی برای \(q\) است.
- \(q\) شرط لازم و کافی برای \(p\) است.
به همین دلیل عبارت «شرط لازم و کافی» یکی از صورتهای رایج ترجمه و بیان دوشرطی در زبان ریاضی است.
همارزیهای مهم شرطی
یکی از مهمترین همارزیهای منطقی شرطی عبارت است از:
$$
p\rightarrow q
\equiv
\neg p\lor q
$$
این رابطه امکان تبدیل یک شرطی به عبارتی شامل نقیض و فصل را فراهم میکند.
همچنین میتوان شرطی را با استفاده از نقیض تالی و نقیض مقدم به شکل عکس نقیض نوشت:
$$
p\rightarrow q
\equiv
\neg q\rightarrow\neg p
$$
این همارزیها از قوانین استاندارد منطق گزارهای هستند و میتوان آنها را با جدول ارزش اثبات کرد. Mathematics LibreTexts
همارزیهای مهم دوشرطی
دوشرطی را میتوان به صورت عطف دو شرطی نیز نوشت:
$$
p\leftrightarrow q
\equiv
(p\rightarrow q)\land(q\rightarrow p)
$$
با جایگزین کردن تعریف شرطی:
$$
p\rightarrow q\equiv\neg p\lor q
$$
میتوان به شکل دیگری رسید:
$$
p\leftrightarrow q
\equiv
(\neg p\lor q)\land(\neg q\lor p)
$$
همچنین دوشرطی را میتوان به صورت زیر نوشت:
$$
p\leftrightarrow q
\equiv
(p\land q)\lor(\neg p\land\neg q)
$$
این شکل نشان میدهد که دوشرطی دقیقاً زمانی درست است که \(p\) و \(q\) هر دو درست یا هر دو نادرست باشند.
تفاوت شرطی و دوشرطی
تفاوت اصلی این دو عملگر در تعداد جهتهای رابطه منطقی است.
| ویژگی |
شرطی |
دوشرطی |
| نماد |
\(p\rightarrow q\) |
\(p\leftrightarrow q\) |
| خوانش معمول |
اگر \(p\)، آنگاه \(q\) |
\(p\) اگر و تنها اگر \(q\) |
| جهت رابطه |
از \(p\) به \(q\) |
از \(p\) به \(q\) و از \(q\) به \(p\) |
| حالت نادرست |
\(p=T,\ q=F\) |
وقتی ارزش دو جزء متفاوت باشد |
| رابطه با شرط لازم و کافی |
یک جهت لازم/کافی |
لازم و کافی در هر دو جهت |
تفاوت «اگر» و «اگر و تنها اگر»
یکی از مهمترین نکات در مطالعه منطق ریاضی این است که «اگر» و «اگر و تنها اگر» یک معنا ندارند.
جمله:
«اگر \(p\)، آنگاه \(q\)»
فقط شرط:
$$
p\rightarrow q
$$
را بیان میکند.
اما جمله:
«\(p\) اگر و تنها اگر \(q\)»
هر دو شرط را بیان میکند:
$$
(p\rightarrow q)\land(q\rightarrow p)
$$
بنابراین اضافه شدن عبارت «تنها» یا «و تنها» در زبان ریاضی میتواند معنای منطقی جمله را به طور اساسی تغییر دهد.
جدول ارزش و تحلیل شرطی
جدول ارزش یکی از مطمئنترین ابزارها برای بررسی گزارههای شرطی و دوشرطی است.
برای شرطی:
| \(p\) |
\(q\) |
\(p\rightarrow q\) |
| T |
T |
T |
| T |
F |
F |
| F |
T |
T |
| F |
F |
T |
برای دوشرطی:
| \(p\) |
\(q\) |
\(p\leftrightarrow q\) |
| T |
T |
T |
| T |
F |
F |
| F |
T |
F |
| F |
F |
T |
برای مطالعه مستقل این روش میتوانید مقاله جدول ارزش را نیز مطالعه کنید.
مثال حلشده ۱: تشخیص مقدم و تالی
در گزاره زیر مقدم و تالی را مشخص کنید:
«اگر \(x>3\)، آنگاه \(x^2>9\).»
ابتدا دو گزاره را تعریف میکنیم:
$$
p:\quad x>3
$$
$$
q:\quad x^2>9
$$
پس گزاره اصلی:
$$
p\rightarrow q
$$
است.
بنابراین:
- مقدم: \(x>3\)
- تالی: \(x^2>9\)
مثال حلشده ۲: تعیین ارزش شرطی
فرض کنید \(p\) درست و \(q\) نادرست باشد. ارزش گزاره زیر را مشخص کنید:
$$
p\rightarrow q
$$
طبق جدول ارزش شرطی، حالتی که \(p\) درست و \(q\) نادرست باشد تنها حالت نادرست شرطی است.
بنابراین:
$$
p\rightarrow q=F
$$
مثال حلشده ۳: شرطی با مقدم نادرست
فرض کنید:
$$
p=F,\qquad q=F
$$
ارزش \(p\rightarrow q\) چیست؟
از جدول شرطی میدانیم که وقتی مقدم نادرست باشد، شرطی در منطق کلاسیک درست است؛ حتی اگر تالی نیز نادرست باشد.
پس:
$$
p\rightarrow q=T
$$
مثال حلشده ۴: نوشتن عکس و عکس نقیض
برای گزاره:
$$
p\rightarrow q
$$
عکس:
$$
q\rightarrow p
$$
و عکس نقیض:
$$
\neg q\rightarrow\neg p
$$
است.
در حالت کلی فقط شرطی اصلی و عکس نقیض آن همارز منطقی هستند:
$$
p\rightarrow q
\equiv
\neg q\rightarrow\neg p
$$
مثال حلشده ۵: تشخیص دوشرطی
فرض کنید:
$$
p:\quad n\text{ زوج است}
$$
$$
q:\quad n\text{ بر }2\text{ بخشپذیر است}
$$
در اعداد صحیح، این دو گزاره همارزند. بنابراین میتوان نوشت:
$$
p\leftrightarrow q
$$
این گزاره به این معناست که زوج بودن \(n\) شرط لازم و کافی برای بخشپذیر بودن آن بر ۲ است.
مثال حلشده ۶: تبدیل «اگر و تنها اگر» به دو شرطی
جمله زیر را به زبان منطقی بنویسید:
«یک عدد صحیح \(n\) مضرب ۶ است اگر و تنها اگر بر ۲ و ۳ بخشپذیر باشد.»
دو گزاره را تعریف میکنیم:
$$
p:\quad n\text{ مضرب }6\text{ است}
$$
$$
q:\quad n\text{ بر }2\text{ و }3\text{ بخشپذیر است}
$$
عبارت «اگر و تنها اگر» نشان میدهد که رابطه دوشرطی است:
$$
p\leftrightarrow q
$$
یعنی باید هر دو جهت زیر برقرار باشند:
$$
p\rightarrow q
$$
$$
q\rightarrow p
$$
مثال حلشده ۷: تفاوت شرطی و دوشرطی
دو جمله زیر را مقایسه کنید:
۱. «اگر عددی بر ۴ بخشپذیر باشد، زوج است.»
۲. «عدد زوج است اگر و تنها اگر بر ۴ بخشپذیر باشد.»
جمله اول یک شرطی یکجهته است:
$$
p\rightarrow q
$$
اما جمله دوم دوشرطی است:
$$
p\leftrightarrow q
$$
جمله اول درست است، اما جمله دوم در اعداد صحیح درست نیست؛ برای مثال عدد ۶ زوج است ولی بر ۴ بخشپذیر نیست.
این مثال نشان میدهد که افزودن «اگر و تنها اگر» یک رابطه یکجهته را به رابطهای دوطرفه تبدیل میکند.
مثال حلشده ۸: اثبات یک دوشرطی
میخواهیم نشان دهیم برای یک عدد صحیح \(n\):
$$
n\text{ زوج}
\leftrightarrow
2\mid n
$$
جهت اول:
اگر \(n\) زوج باشد، طبق تعریف عدد زوج، عددی صحیح \(k\) وجود دارد که:
$$
n=2k
$$
پس \(n\) بر ۲ بخشپذیر است.
جهت دوم:
اگر \(2\mid n\)، طبق تعریف بخشپذیری، عدد صحیح \(k\) وجود دارد که:
$$
n=2k
$$
بنابراین \(n\) زوج است.
پس هر دو جهت برقرارند و نتیجه میگیریم:
$$
n\text{ زوج}
\leftrightarrow
2\mid n
$$
نقیض شرطی و دوشرطی
برای شرطی داریم:
$$
\neg(p\rightarrow q)
\equiv
p\land\neg q
$$
برای دوشرطی نیز نقیض زمانی درست است که ارزش صدق \(p\) و \(q\) متفاوت باشد:
$$
\neg(p\leftrightarrow q)
\equiv
(p\land\neg q)\lor(\neg p\land q)
$$
این عبارت در واقع بیان میکند که یکی از دو گزاره درست و دیگری نادرست باشد.
بنابراین دوشرطی و نقیض آن رفتار کاملاً متقابلی دارند: دوشرطی با توافق ارزش صدقها درست و با اختلاف آنها نادرست است.
رابطه دوشرطی با همارزی منطقی
دوشرطی را نباید بدون توجه به زمینه با نماد همارزی منطقی یکسان دانست.
در منطق گزارهای:
$$
p\leftrightarrow q
$$
خود یک گزاره مرکب است که ارزش صدق دارد.
در مقابل، عبارت:
$$
p\equiv q
$$
معمولاً برای بیان همارزی منطقی دو عبارت به کار میرود؛ یعنی دو عبارت در تمام انتسابهای ممکن ارزش صدق یکسان دارند.
برای مثال:
$$
p\rightarrow q
\equiv
\neg p\lor q
$$
بیان میکند که دو عبارت منطقی همارزند.
برای مطالعه بیشتر درباره این مفهوم میتوانید مقاله همارزی منطقی را مطالعه کنید.
ارتباط شرطی و دوشرطی با نقیض گزاره
نقیض نقش مهمی در بازنویسی شرطی و دوشرطی دارد.
برای شرطی:
$$
p\rightarrow q
\equiv
\neg p\lor q
$$
و برای دوشرطی:
$$
p\leftrightarrow q
\equiv
(p\land q)\lor(\neg p\land\neg q)
$$
بنابراین تسلط بر مفهوم نقیض برای درک عمیقتر این دو عملگر ضروری است.
برای مطالعه این مفهوم میتوانید به مقاله نقیض گزاره مراجعه کنید.
کاربرد شرطی و دوشرطی در اثباتهای ریاضی
شرطی یکی از ساختارهای اصلی در بیان قضیههای ریاضی است. بسیاری از قضایا به صورت «اگر \(p\)، آنگاه \(q\)» بیان میشوند.
در یک اثبات مستقیم، معمولاً فرض میکنیم مقدم برقرار است و از آن برای رسیدن به تالی استفاده میکنیم:
$$
p\Rightarrow q
$$
همچنین میتوان از عکس نقیض استفاده کرد:
$$
\neg q\Rightarrow\neg p
$$
زیرا این دو گزاره همارز منطقی هستند.
در اثبات یک گزاره دوشرطی، معمولاً دو اثبات جداگانه انجام میشود:
$$
p\Rightarrow q
$$
و:
$$
q\Rightarrow p
$$
این ساختار همان چیزی است که در کتابهای آموزشی منطق و اثبات با عنوان اثبات دو جهت یا «if and only if proof» مطرح میشود.
کاربرد در علوم کامپیوتر
عملگرهای شرطی و دوشرطی در منطق بولی، طراحی مدارهای دیجیتال، تحلیل شرایط برنامهها، مشخصات رسمی سیستمها و استدلال محاسباتی کاربرد دارند.
در منطق گزارهای میتوان هر وضعیت دودویی یک مدار را با یک گزاره نمایش داد و روابط میان ورودیها و خروجیها را با عملگرهای منطقی بیان کرد. منابع دانشگاهی منطق نیز ارتباط منطق گزارهای با مدارهای دیجیتال و مدلسازی رفتار مدارها را بررسی میکنند. Stanford University
تفاوت شرطی، عکس و عکس نقیض در یک نگاه
| نوع عبارت |
فرمول |
رابطه با شرطی اصلی |
| شرطی |
\(p\rightarrow q\) |
عبارت اصلی |
| عکس |
\(q\rightarrow p\) |
در حالت کلی همارز نیست |
| عکس نقیض |
\(\neg q\rightarrow\neg p\) |
همارز منطقی است |
| نقیض شرطی |
\(p\land\neg q\) |
نقیض عبارت اصلی است |
تفاوت دوشرطی با عکس شرطی
یک اشتباه رایج این است که تصور کنیم دوشرطی همان عکس شرطی است. در حالی که:
$$
q\rightarrow p
$$
فقط یک شرطی جدید و عکس شرطی اصلی است.
اما:
$$
p\leftrightarrow q
$$
شامل هر دو جهت است:
$$
(p\rightarrow q)\land(q\rightarrow p)
$$
بنابراین دوشرطی قویتر از یک شرطی یکجهته است.
اشتباهات رایج
اشتباه اول: جابهجا کردن مقدم و تالی
از:
$$
p\rightarrow q
$$
نمیتوان در حالت کلی نتیجه گرفت:
$$
q\rightarrow p
$$
عبارت دوم عکس شرطی است و لزوماً با عبارت اول همارز نیست.
اشتباه دوم: اشتباه گرفتن عکس با عکس نقیض
عکس:
$$
q\rightarrow p
$$
اما عکس نقیض:
$$
\neg q\rightarrow\neg p
$$
است. تنها دومی با شرطی اصلی همارز منطقی است.
اشتباه سوم: تصور اینکه نقیض شرطی عکس آن است
نقیض:
$$
\neg(p\rightarrow q)
\equiv
p\land\neg q
$$
است، نه:
$$
q\rightarrow p
$$
اشتباه چهارم: تصور اینکه «اگر و تنها اگر» همان «اگر» است
«اگر \(p\)، آنگاه \(q\)» فقط یک جهت را بیان میکند؛ اما «\(p\) اگر و تنها اگر \(q\)» هر دو جهت را بیان میکند.
اشتباه پنجم: نادیده گرفتن حالت درست بودن هر دو جزء در دوشرطی
دوشرطی فقط زمانی درست نیست که هر دو جزء درست باشند. اگر هر دو جزء نادرست نیز باشند، دوشرطی درست است:
$$
F\leftrightarrow F=T
$$
اشتباه ششم: تفسیر شرطی منطقی با معنای محاورهای
در منطق کلاسیک، شرطی مادی تعریف مشخصی دارد و وقتی مقدم نادرست باشد، شرطی درست است. این ویژگی ممکن است با برخی برداشتهای روزمره از جملههای شرطی متفاوت باشد.
نکات مهم
- شرطی با نماد \(p\rightarrow q\) نمایش داده میشود.
- در شرطی، \(p\) مقدم و \(q\) تالی است.
- شرطی فقط در حالت \(p=T\) و \(q=F\) نادرست است.
- دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده میشود.
- دوشرطی زمانی درست است که دو جزء آن ارزش صدق یکسان داشته باشند.
- \(p\leftrightarrow q\) معادل \((p\rightarrow q)\land(q\rightarrow p)\) است.
- از \(p\rightarrow q\) نمیتوان در حالت کلی \(q\rightarrow p\) را نتیجه گرفت.
- عکس نقیض \(p\rightarrow q\)، عبارت \(\neg q\rightarrow\neg p\) است و با شرطی اصلی همارز است.
- نقیض شرطی \(p\rightarrow q\)، عبارت \(p\land\neg q\) است.
- در یک دوشرطی، هر یک از دو گزاره شرط لازم و کافی برای دیگری است.
- عبارت «اگر و تنها اگر» معمولاً نشاندهنده یک گزاره دوشرطی است.
- در اثبات یک دوشرطی معمولاً باید هر دو جهت \(p\rightarrow q\) و \(q\rightarrow p\) اثبات شوند.
- جدول ارزش ابزار مناسبی برای بررسی شرطی، دوشرطی و همارزیهای مربوط به آنهاست.
موضوعات مرتبط
برای تکمیل مطالعه منطق گزارهای، موضوعات زیر به ترتیب مفهومی مرتبط هستند:
جمعبندی
شرطی و دوشرطی از بنیادیترین ساختارهای منطق گزارهای هستند. شرطی با نماد \(p\rightarrow q\) رابطهای جهتدار میان مقدم و تالی ایجاد میکند و در منطق کلاسیک تنها زمانی نادرست است که مقدم درست و تالی نادرست باشد.
دوشرطی با نماد \(p\leftrightarrow q\) رابطهای دوطرفه ایجاد میکند و زمانی درست است که دو جزء آن ارزش صدق یکسانی داشته باشند. این عملگر را میتوان به صورت عطف دو شرطی نوشت:
$$
p\leftrightarrow q
\equiv
(p\rightarrow q)\land(q\rightarrow p)
$$
تفاوت میان شرطی، عکس، عکس نقیض و دوشرطی از مهمترین نکات این مبحث است. در حالی که عکس شرطی در حالت کلی با شرطی اصلی همارز نیست، عکس نقیض آن با شرطی اصلی همارز است.
همچنین عبارت «اگر و تنها اگر» در ریاضیات نشاندهنده یک رابطه دوطرفه است؛ بنابراین برای اثبات آن باید هر دو جهت رابطه، یعنی شرطی و عکس شرطی، بررسی شوند.
تسلط بر این مفاهیم پایهای مناسب برای مطالعه جدول ارزش، همارزی منطقی، روشهای اثبات و مباحث پیشرفتهتر منطق ریاضی فراهم میکند.
منابع
منابع کتابی
-
Kenneth H. Rosen،
Discrete Mathematics and Its Applications،
8th Edition،
McGraw Hill.
این کتاب از مراجع دانشگاهی شناختهشده ریاضیات گسسته است و مباحث منطق گزارهای، عملگرهای منطقی، جدول ارزش، همارزی و استنتاج را پوشش میدهد.
مشاهده مشخصات کتاب در McGraw Hill
-
Susanna S. Epp،
Discrete Mathematics with Applications،
5th Edition،
Cengage Learning،
2020.
این کتاب رویکردی دقیق و آموزشی به منطق و روشهای اثبات دارد و فصل مستقلی را به منطق گزارههای مرکب اختصاص میدهد.
مشاهده مشخصات کتاب در Cengage
-
Ralph P. Grimaldi،
Discrete and Combinatorial Mathematics: An Applied Introduction،
5th Edition،
Pearson.
این کتاب در بخش مبانی منطق، عملگرهای منطقی و جدولهای ارزش را بررسی میکند.
مشاهده مشخصات کتاب در Pearson
منابع وب
-
Stanford University،
Introduction to Logic – Chapter 2: Propositional Logic.
این منبع تعریف دقیق شرطی مادی، دوشرطی، جدول ارزش و کاربرد عملگرهای منطق گزارهای را ارائه میکند.
مشاهده منبع در Stanford University
-
Stanford University،
Introduction to Logic – Lesson 2.2: Syntax.
این درس ساختار نحوی گزارههای مرکب، شرطی و دوشرطی و ترتیب تقدم عملگرهای منطقی را توضیح میدهد.
مشاهده منبع در Stanford University
-
Stanford University،
Biconditional.
این منبع دوشرطی را بر اساس توافق ارزش صدق دو گزاره تعریف میکند.
مشاهده منبع در Stanford University
-
Mathematics LibreTexts،
Propositional Logic.
این منبع شرطی، عکس، عکس نقیض و دوشرطی را در چارچوب منطق گزارهای بررسی میکند.
مشاهده منبع در Mathematics LibreTexts
-
Mathematics LibreTexts،
Propositional Logic.
این منبع تعریف دوشرطی، رابطه آن با شرطی و عکس شرطی و مفهوم «اگر و تنها اگر» را توضیح میدهد.
مشاهده منبع در Mathematics LibreTexts
-
Mathematics LibreTexts،
Propositional Calculus.
این منبع همارزیهای مهمی مانند \(p\rightarrow q\equiv\neg p\lor q\) و رابطه دوشرطی با دو شرطی متقابل را ارائه میکند.
مشاهده منبع در Mathematics LibreTexts
-
دانشنامه رشد،
گزاره.
این منبع فارسی مفهوم گزاره دوشرطی و رابطه آن با شرطهای لازم و کافی را توضیح میدهد.
مشاهده منبع در دانشنامه رشد
تاریخ بررسی منابع: 13 August 2026 - ۲۲ مرداد ۱۴۰۵