فروهازش زاستاری

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