دوشرطی منطقی

نمودار ون برای (قسمت درست قرمز است).

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

جستارهای مربوط

This article is issued from ویکی‌پدیا. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.