دوشرطی منطقی

در منطق و ریاضیات، ترکیب دوشرطی (به انگلیسی: Logical biconditional) یک عملگر منطقی است که دو گزاره را به هم وصل می‌کند تا نشان دهد،  اگر و فقط اگر ، که  فرض یا فرضیه است و  حکم یا نتیجه می‌باشد.

 جستارهای مربوط 
 اگر و فقط اگر

رده:رابط‌های منطقی
رده:عملیات دوتایی
رده:منطق
رده:منطق گزاره‌ای
رده:هم‌ارزی