در منطق گزاره‌ای، شرطی و دوشرطی از مهم‌ترین عملگرهایی هستند که برای بیان رابطه میان دو گزاره به کار می‌روند. گزاره شرطی با نماد \(p\rightarrow q\) نوشته می‌شود و معمولاً به صورت «اگر \(p\)، آنگاه \(q\)» خوانده می‌شود. این گزاره فقط زمانی نادرست است که \(p\) درست و \(q\) نادرست باشد. در مقابل، گزاره دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده می‌شود و زمانی درست است که \(p\) و \(q\) ارزش صدق یکسانی داشته باشند.

در این مقاله تعریف دقیق شرطی و دوشرطی، تفاوت آن‌ها، جدول ارزش، رابطه با عکس و عکس نقیض، مفهوم شرط لازم و کافی، هم‌ارزی‌های مهم و روش حل مثال‌های مختلف بررسی می‌شود.

وقتی خواستگاری بی سرانجام تمام می شود، به خصوص وقتی که روی مثبت بودن جواب حسابی باز کرده اید، احساس بدی به سراغتان می آید. حق هم دارید، ترجیح همه آدم ها این است که مورد تأیید قرار بگیرند. ولی باور کنید که این آخر دنیا نیست. شما جوانید و آنقدر از لحاظ روانی توانمندی دارید که بتوانید به سلامت از این موقعیت سخت بیرون بیایید و گامی بلند تر در مسیر خوشبختی خود بردارید.