Полный русско-английский словарь
Мат. backward implication, converse implication, inverse implication