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

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