Закон Клавия — логический закон, связывающий импликацию («если, то») и отрицание. Назван в честь немецкого математика Христофора Клавия. Клавий упоминал этот закон в своём комментарии«Euclidis elementorum libri XVI cum scholiis» (1574) к «Началам» Евклида. Поводом для формулировки послужил анализ евклидова доказательства от противного: одну из своих теорем Евклид обосновывал, временно допуская её ложность.
Определение Формально закон Клавия записывается следующим образом:
Другими словами, если некое утверждение является следствием своего отрицания, то это утверждение истинно.
Примечания
Литература
Категория:Математическая логика Категория:Законы логики Клавия