Для твердження p → q обернене ¬ p → ¬ q , де символ означає «ні». Порядок гіпотези та висновку залишається незмінним, але вони обидва заперечуються. Наприклад, протилежним вислову «якщо небо блакитне, значить воно сонячне» є висловлювання «Якщо небо не блакитне, значить воно не сонячне».

Припустимо, що задано умовне твердження виду «Якщо p, то q». Зворотне "Якщо ~p, то ~q." Символічно, обернена p q ~p ~q.

У математиці зворотна варіація — це зв’язки між змінними, які представлені у формі y = k/x, де x і y — дві змінні, а k — постійне значення. У ньому зазначено, що якщо значення однієї величини зростає, то значення іншої величини зменшується.

Для мультиплікативного оберненого до дійсного числа, поділити 1 на число. Наприклад, зворотна величина 5 дорівнює одній п’ятій (1/5 або 0,2), а зворотна величина 0,25 дорівнює 1, поділеній на 0,25, або 4.

Контрапозитив до "If p then q" є "Якщо не q, то не p", який представлено ~q⇒∼p.

Для твердження p → q обернене ¬ p → ¬ q , де символ означає «ні». Порядок гіпотези та висновку залишається незмінним, але вони обидва заперечуються. Наприклад, протилежним вислову «якщо небо блакитне, значить воно сонячне» є висловлювання «Якщо небо не блакитне, значить воно не сонячне».