شرطی منطقی

از ویکی‌پدیا، دانشنامهٔ آزاد

پرش به: ناوبری, جستجو

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

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

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