استلزام
استلزام (به انگلیسی: entailment) یا نَتیجه منطقی (به انگلیسی: Logical consequence) یا پیامد منطقی مفهومی در علم منطق است.
این مفهوم رابطه‌ای را که میان مجموعهٔ گزاره‌ها و یک گزاره وجود دارد شامل می‌شود، هنگامی که دومی (یعنی همان یک گزاره) از سازنده[۱] پیروی کند.
برای نمونه: «رکسانا قلب دارد» یک نتیجه منطقی است که از «همهٔ انسان‌ها قلب دارند» و «رکسانا یک انسان است» ساخته شده است.[۲]
منابع
[ویرایش]- ویکی‌پدیای انگلیسی
- ↑ Beall, JC and Restall, Greg, Logical Consequence The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).
- ↑ Quine, Willard Van Orman, Philosophy of Logic.
 | این یک مقالهٔ خرد منطق است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید. |