قاعده استنتاج: تفاوت میان نسخه‌ها

در منطق یک قاعده از استنتاج ، قاعده استنتاج و یا قاعده تحول یک شکل منطقی متشکل از یک تابع است که قضایای اثبات شده را به کار می گیرد، نحو آن ها را تجزیه و تحلیل می کند،و یک نتیجه(نتایج) باز می گرداند. برای مثال قاعده استنتاج به نام modus ponens ، دو قضیه از پیش اثبات شده(پیش فرض) را به کار می گیرد، یکی در قالب "اگر p آنگاه q" و دیگری در قالب "p" و بازمی گرداند نتیجه "q" است. این قانون معتبر است با توجه به معانی منطق کلاسیک (همچنین به عنوان معانی منطق های غیر کلاسیک بسیار دیگری) به این معنا که اگر پیش فرض ها درست هستند (تحت یک تفسبر) پس از آن نتیجه گیری است.