Закон суперечності

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Закон суперечності (лат. lex contradictionis) або принцип суперечності (лат. principium contradictionis) — один із чотирьох основних законів формальної (традиційної) логіки, який можна висловити так:

Не можуть бути істинними два несумісних висловлювання про один і той же предмет, що беруться в один і той же час та в одному і тому ж відношенні.[1]

У математичній логіці закон суперечності також є одним з основних та має такий вигляд:

\neg (A \and \neg A)

тобто, водночас не можуть бути істинними висловлювання A та протилежне A.

Див. також[ред.ред. код]

Посилання[ред.ред. код]

  1. Н. И. Кондаков Введение в логику. — Москва: «Наука», 1967.