Контрапозиция¶
Определение. Для P→Q: обратное Q→P, контрапозиция ¬Q→¬P. Контрапозиция логически эквивалентна прямому утверждению: (P→Q)↔(¬Q→¬P). Обратное — НЕ эквивалентно (путать прямое с обратным — ошибка утверждения следствия).
В каких главах встречается¶
Связанные концепты¶
Требуются перед изучением:
Типичные ошибки¶
- Путать импликацию с обратной (утверждение следствия)