Контрапозитивность: определение, значение, предложения

Можно также доказать теорему, доказав контрапозитивность утверждения теоремы.

Другими словами, контрапозитивное логически эквивалентно данному условному утверждению, хотя и недостаточно для бикондиционального.

Наконец, поскольку дифференцируемость подразумевает непрерывность, то контрапозитивная прерывность состояний подразумевает недифференцируемость.

Чтобы доказать, что контрапозитивы логически эквивалентны, нам нужно понять, когда материальная импликация истинна или ложна.