دوشرطی منطقی

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

نمودار ون برای $P\leftrightarrow Q$ (قسمت درست قرمز است).

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

• اگر و فقط اگر