rule of detachment

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