Контрапозицля
Контрапозицля
логическая операция, состоящая в том, что в импликации высказывания, составляющие ее антецедент и консеквент, заменяют их отрицаниями (инверсия) и меняют местами (конверсия). Напр., К. выражения «Бели х делится на 4, то х делится на 2» будет выражение — «Если х не делится на 2, то х не делится на 4». К. сохраняет значения истинности или ложности исходного выражения.
Источник: Философский словарь. 1963