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

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