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