دوشرطی منطقی

P\leftrightarrow Q

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

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

جستارهای مربوط[ویرایش]

این یک مقالهٔ خرد منطق است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید.

ن ب و رابط‌های منطقی
همان‌گویی (منطق)/True $\top$
خط شفر (دروازه نقیض و) $\uparrow$ شرطی معکوس $\leftarrow$ شرطی مادی (دروازه شرطی) $\rightarrow$ فصل منطقی (دروازه یا) $\lor$
نقیض (دروازه وارونگر) $\neg$ یای انحصاری (دروازه یای انحصاری) $\oplus$ دوشرطی منطقی (دروازه نقیض یای انحصاری) $\leftrightarrow$ Statement
نقیض یا (دروازه نقیض یا) $\downarrow$ نقیض شرطی $\nrightarrow$ Converse nonimplication $\nleftarrow$ عطف منطقی (دروازه و) $\land$
تناقض/کذب $\bot$
Logic portal