شرطی منطقی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

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

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

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