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