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

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

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

یک عصب‌شناس با اشاره به دلایل گرفتگی گردن بر اثر استرس، نشستن نادرست و ضربه‌های وارد شده، خود درمانی به ویژه مصرف مسکن‌ها و استفاده از یخ را نادرست برشمرد.

شیخ بهایی در مقدمه این مسائل نوشته است: 

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

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