استلزام

استلزام  یا نَتیجه منطقی  یا پیامد منطقی مفهومی در علم منطق است.

این مفهوم رابطه‌ای را که میان مجموعهٔ گزاره‌ها و یک گزاره وجود دارد شامل می‌شود، هنگامی که دومی (یعنی همان یک گزاره) از سازنده پیروی کند.

برای نمونه: «رکسانا قلب دارد» یک نتیجه منطقی است که از «همهٔ انسان‌ها قلب دارند» و «رکسانا یک انسان است» ساخته شده‌است.

منابع 
 ویکی‌پدیای انگلیسی

مفهوم‌ها در منطق
منطق فلسفی

عملیات دوتایی
معناشناسی
منطق
منطق گزاره‌ای
نتیجه منطقی