دوشرطی منطقی

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

اگر و فقط اگر

q

، که

p

فرض یا فرضیه است و

q

حکم یا نتیجه می‌باشد.

P\leftrightarrow Q

(قسمت درست قرمز است).

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