Простая контрапозиция

Правило простой контрапозиции имеет следующий вид:

Это правило читается так: “Если а имплицирует, то отрицание b имплицирует отрицание а”. Здесь а и b – переменные, обозначающие произвольные высказывания, или пропозициональные переменные.

Примеры:

1) Если данный треугольник равносторонний, то он равноугольный.

Если данный треугольник не равноугольный, то он не равносторонний.

2) Если это вещество фосфор, то оно непосредственно с водородом не со­единяется.

Если вещество непосредственно с водородом соединяется, то это вещест­во не является фосфором.

Заметим, что в логике высказываний а. Формула:

(а→ b) ( ) называется законом простой контрапозиции.