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

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