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

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

ایران چندى است در یك آزمون آموزشى بین المللى مهم و معتبر شركت مى كند. نتیجه آزمون «تیمز» به قدرى مهم است كه پس از انتشار نتایج رسمى آن برخى از وزراى آموزش و پرورش و حتى گاهى بالاترین مقام هاى اجرایى كشورهاى شركت كننده درباره آن اظهارنظر و عملكرد آموزشى خود را تحلیل مى كنند و در صورت مطلوب نبودن عملكرد، وعده هاى جدیدى را براى بهبود نظام آموزشى مطرح مى كنند. چنانكه كلینتون با انتشار نتیجه آزمون در جلسه اى با حضور كارشناسان آموزشى قول كار بیشتر و اختصاص بودجه كلانى را به آموزش و پرورش داد. نتیجه اولین آزمون علوم و ریاضى تیمز كه ایران در آن شركت كرد، شوك آور بود.