обратная импликация

Мат. backward implication, converse implication, inverse implication