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

{{ویکی‌سازی|تاریخ=ژوئیه ۲۰۱۶}}

{{ادغام با|قواعد استنتاج}}

 

به طور معمول یک قاعده استنتاج حقیقت را به عنوان یک ویژگی معنایی حفظ می کند. در منطق چند ارزشی یک عنوان کلی را حفظ می کند. اما یک قاعده استنتاج عمل صرفا نحوی کار می کند و نیاز به حفظ هیچ ویژگی معنایی ندارد: هر تابع از مجموعه هایی از فرمول به فرمول به عنوان یک قاعده استنتاج به حساب می آید. معمولا تنها قوانین که بازگشتی می باشند مهم هستند; یعنی قوانین به این صورت که وجود دارد یک روش مؤثر برای تعیین اینکه آیا هر فرمول داده شده است نتیجه گیری از یک مجموعه از فرمول داده شده با توجه به این قانون است یا خیر. یک مثال از یک قانون که در این معنا مؤثر نیست infinitary ω-rule است.[1]