استلزام: تفاوت میان نسخه‌ها

'''دستاورد منطقی''' یا دستاورد ترکیبی٬ بی‌گمان بنیادی‌ترین پنداره(مفهوم) در [[منطق]] است که رابطه‌ای را که میان مجموعهٔ گزاره‌ها و یک گزاره وجود دارد را هنگامی که دومی(یعنی همان یک گزاره) از سازنده پیروی کند٬ شامل می‌شود.

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