شرطی مادی

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

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

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

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