استلزام

استلزام (به انگلیسی: entailment) یا نَتیجهٔ منطقی (به انگلیسی: Logical consequence) یا پیامد منطقی مفهومی در علم منطق است.

این مفهوم پیوندی را که میان مجموعهٔ گزاره‌ها و یک گزاره وجود دارد دربرمی‌گیرد؛ هنگامی که دومی (یعنی همان یک گزاره) از سازنده[۱] پیروی‌کند.

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

منابع

  1. ↑ Beall, JC and Restall, Greg, Logical Consequence The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).
  2. ↑ Quine, Willard Van Orman, Philosophy of Logic.
This article is issued from ویکی‌پدیا. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.