Вопросы к Поиску с Алисой
Разница между прямой и обратной импликацией в математической символике заключается в том, что обратная импликация — это отрицание (негация, инверсия) прямой импликации. ru.ruwiki.ru wiki2.org
Другими словами, две импликации (прямая и обратная) и две их инверсии — это четыре оператора отношений, результат операций которых зависит от перемены мест операндов. ru.ruwiki.ru