deduction theorem

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