Импликация¶
Определение. P→Q («если P, то Q») ложна только в одном случае: P истинно, Q ложно. Во всех остальных (включая ложную посылку) истинна. Из ложного следует что угодно (ex falso quodlibet). Контролирует только случай выполненной посылки.
В каких главах встречается¶
Связанные концепты¶
Требуются перед изучением:
Типичные ошибки¶
- Путать импликацию с обратной (утверждение следствия)