Это правило читается так: “Если а имплицирует, то отрицание b имплицирует отрицание а”. Здесь а и b – переменные, обозначающие произвольные высказывания, или пропозициональные переменные.
Примеры:
1) Если данный треугольник равносторонний, то он равноугольный.
Если данный треугольник не равноугольный, то он не равносторонний.
2) Если это вещество фосфор, то оно непосредственно с водородом не соединяется.
Если вещество непосредственно с водородом соединяется, то это вещество не является фосфором.
Заметим, что в логике высказываний а. Формула:
(а→ b) () называется законом простой контрапозиции.