شرطی معکوس - ویکی‌پدیا، دانشنامهٔ آزاد

در منطق ویا ریاضیات، شرطی معکوس یک عملگر منطقی دوتایی است، که نتیجه آن در صورتی که عملوند دوم آن درست و عملوند اول آن نادرست باشد نادرست خواهد بود و در غیر این صورت درست است.

منابع[ویرایش]

ریچارد جانسون با (۱۳۸۰)، ساختمان‌های گسسته، ترجمهٔ حسین ابراهیم‌زاده قلزم (ویراست پنجم)، سیمای دانش

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

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