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

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

حدود یک ماه پیش بود که ما شاهد وقوع انفجاری در حین یکی از پرتاب‌های اسپس ایکس بودیم. در این حادثه، عملیات پرتاب فالکون ۹ (Falcon 9) به فضا در مراحل بسیار اولیه و حتی پیش از اینکه به طور عملی شروع شود در اثر یک انفجار، نیمه‌تمام مانده و موشک مذکور نیز به گلوله‌ای از آتش بدل شده و در نهایت هم از میان رفت. اکنون به نظر می‌رسد که این کمپانی فضایی پس از چند ماه وقفه قصد بازگشت دوباره به عرصه‌ی آزمایش‌های فضایی را دارد و بر این اساس، اعلام شده که قرار است در ماه نوامبر این اتفاق رخ دهد.
 

چه قدر با این جمله كه مدتی است ورد زبان برخی شده موافقید: "اینجا ایران است. در ایران برنامه ریزی معنی نمی دهد". اگر این حرف درست است پس چرا انسان های موفق با برنامه و نیز شركت هایی وجود دارند كه محصولاتشان را به كشورهایی با شدیدترین قوانین كیفیتی و نیز به بزرگ ترین شركت های چندملیتی می فروشند؟
نمونه این شركت ها، شركتی است كه یكی از قطعات اصلی خودرو را تولید می كند. مدیر كارخانه در هنگام استخدام نیروی كار، تمام وظایف آنها و انتظاراتش را موبه مو برای شان شرح می دهد و در قرارداد استخدام ارائه تمام امكانات و تسهیلات ممكن نظیر وسایل رفت و آمد... را قید می كند تا نیروهای كارش از این بابت هیچ نگرانی ای نداشته باشند.