logical implication

[ریاضیات] التزام منطقی، استلزام منطقی، نتیجه ی منطقی