Закон Клавия — логический закон, связывающий импликацию («если, то») и отрицание. Назван в честь немецкого математика — Христофора Клавия. Клавий упоминал закон в своем комментарии[1] к «Геометрии» Евклида. Евклид одну из своих теорем доказал, делая допущение, что она является ложной.
Формальным образом закон Клавия можно записать следующим образом:
Другими словами, если некое утверждение является следствием своего отрицания, то это утверждение истинно.
| Это заготовка статьи по логике. Вы можете помочь проекту, дополнив её. |
Закон Клавия.