دوشرطی منطقی

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

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

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