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

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

در 9 آوریل 1972 (20 فروردین 1351)، عراق و اتحاد جماهیر شوروی یک قرارداد تاریخی امضا کردند. بر اساس این قرارداد اتحاد جماهیر شوروی متعهد شد عراق را با جدیدترین سلاح ها مجهز کند. شوروی در ازای ارسال اسلحه به بغداد فقط یک چیز می خواست و آن نفوذ در منطقه ای بود که بیشتر نفت در دسترس جهان را در اختیار داشت. خبر ارسال سلاح به عراق در ایران که همسایه عراق بود مثل بمب منفجر شد. چراکه دولت عراق در دهه 1970 میلادی رقیب ایران محسوب می شد.