Русская Википедия:Закон Клавия
Материал из Онлайн справочника
Закон Клавия — логический закон, связывающий импликацию («если, то») и отрицание. Назван в честь немецкого математика — Христофора Клавия. Клавий упоминал закон в своем комментарии[1] к «Геометрии» Евклида. Евклид одну из своих теорем доказал, делая допущение, что она является ложной.
Определение
Формальным образом закон Клавия можно записать следующим образом:
- <math> (\neg A\rightarrow A)\rightarrow A</math>
Другими словами, если некое утверждение является следствием своего отрицания, то это утверждение истинно.
Примечания
Литература
Шаблон:Rq
Шаблон:Законы логики