استلزام: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات: خردبندی، {{خرد}} تبدیل شد به {{منطق-خرد}}-iwfrport ؟ |
جزبدون خلاصۀ ویرایش |
||
خط ۱:
'''استلزام''' {{به انگلیسی|entailment}} یا '''نَتیجه منطقی''' {{به انگلیسی|Logical consequence}} یا '''پیامد منطقی''' مفهومی در علم [[منطق]] است.
این مفهوم رابطهای را که میان مجموعهٔ گزارهها و یک گزاره وجود دارد شامل میشود، هنگامی که دومی (یعنی همان یک گزاره) از سازنده{{مدرک}} پیروی کند.
|