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

بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
برچسب‌ها: برخی خطوط با فاصله آغاز شده‌اند استفادهٔ زیاد از تگ یا الگوی سرخط حذف حجم زیادی از مطالب منبع‌دار
بدون خلاصۀ ویرایش
 
به این معنا قواعد استنتاج معتبر٬ حافظ‌االصدق هستند: یعنی از مقدمات درست ضرورتا به نتیجه درست می‌رسند. با این حال٬ قواعد استنتاج صرفا بر اساس شکل مقدمات عمل می‌کنند.
مهم‌ترین قواعد استنتاج در [[منطق گزاره‌ها|propositional logic]] شامل ''[[وضع مقدم|modus ponens]]'' ''[[نفی تالی|modus tollens]]''و [[عکس نقیض|مجاورت]]می‌شود. منطق مرتبه اول به رابطه استنتاجی میان جملات دارای [[سور منطقی |quantifiers]] می‌پردازد--مثل سور کلی "همه" یا "هر" (هر که دل‌آرام دید از دلش آرام رفت) و سور جزئی "برخی" (برخی دخترها زیبا هستند).
 
== فرم استاندارد قوانین استنتاج ==
۱۱۹

ویرایش