rule of inference

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