Русская Википедия:Закон Клавия

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Определение

Формальным образом закон Клавия можно записать следующим образом:

<math> (\neg A\rightarrow A)\rightarrow A</math>

Другими словами, если некое утверждение является следствием своего отрицания, то это утверждение истинно.

Примечания

Шаблон:Примечания

Литература


Шаблон:Rq Шаблон:Законы логики

  1. «Euclidis elementorum libri XVI cum scholiis» (1574)