immediate deduction

[ریاضیات] استنتاج مستقیم