استلزام (به انگلیسی: entailment) یا نَتیجه منطقی (به انگلیسی: Logical consequence) یا پیامد منطقی مفهومی در علم منطق است.
این مفهوم رابطه‌ای را که میان مجموعهٔ گزاره‌ها و یک گزاره وجود دارد شامل می‌شود، هنگامی که دومی (یعنی همان یک گزاره) از سازنده[1] پیروی کند.
برای نمونه: «رکسانا قلب دارد» یک نتیجه منطقی است که از «همهٔ انسان‌ها قلب دارند» و «رکسانا یک انسان است» ساخته شده است.[2]
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
