پرش به محتوا

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

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

ویرایش