فروهازش زاستاری
همچنین شناخته شده با: استنتاج طبیعی
برابر انگلیک (انگلیسی): Natural Deduction


تاربرگ‌های پیموده‌شده در این نشست: اندیشیدن درباره انگارش ⟩ پنداشت ارستو از هستی ⟩ ستاوندی ⟩ پرمانه‌نویسی ⟩ Double Negation Elimination ⟩ بنداشت یکایش