logically imply

[ریاضیات] به طور منطقی ملتزم