قضیۀ استنتاج (به انگلیسی: Deduction theorem) یک متاتئوری در منطق مرتبه اول است.[۱]
به بیان دیگر اگر Γ Γ --> {\displaystyle \Gamma } مجموعه‌ای از گزاره‌ها باشد و A {\displaystyle A} و B {\displaystyle B} دو گزاره باشند، آنگاه اگر Γ Γ --> , A ⊢ ⊢ --> B {\displaystyle \Gamma ,A\vdash B} آنگاه Γ Γ --> ⊢ ⊢ --> A → → --> B {\displaystyle \Gamma \vdash A\to B} و برعکس.
در حالت خاص اگر Γ Γ --> = ∅ ∅ --> {\displaystyle \Gamma =\emptyset } باشد، A ⊢ ⊢ --> B {\displaystyle A\vdash B} بیان می‌کند ⊢ ⊢ --> A → → --> B {\displaystyle \vdash A\to B} . توضیح آنکه در این حالت گزارۀ A → → --> B {\displaystyle A\to B} بدون هیچ فرضی، تنها با استفاده از اصول نتیجه می‌شود.
اثبات طرف برگشت واضح است. در اثبات رفت از استقرا بر طول برهان برای اثبات Γ Γ --> ⊢ ⊢ --> A → → --> B {\displaystyle \Gamma \vdash A\to B} استفاده می‌کنیم.
Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!
