مرد جوانی از سقراط رمز موفقیت را پرسید که چیست. سقراط به مرد جوان گفت که صبح روز بعد به نزدیکی رودخانه بیاید. هر دو حاضر شدند. سقراط از مرد جوان خواست که همراه او وارد رودخانه شود. وقتی وارد رودخانه شدند و آب به زیر گردنشان رسید سقراط با زیر آب بردن سر مرد جوان، او را شگفت زده کرد.
 

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

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

این آموزش برای پایه پنجم ابتدایی تهیه شده است.