Закон Клавия

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Определение[править | править вики-текст]

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

 (\neg A\rightarrow  A)\rightarrow  A

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

Примечания[править | править вики-текст]

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

Литература[править | править вики-текст]

  • Ивин А. А. Логика. Учебник для гумманитарных факультетов. — М.: «ФАИР-ПРЕСС», 2001. — 320 с. — ISBN 5-8183-0045-5.

См. также[править | править вики-текст]