strict implication

[ریاضیات] استلزام اکید