دوشرطی منطقی

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