Ложь (логика)

Ложь или неистинность в логике имеет отрицательное значение истинности и является нулевой логической связью.
В системе логики высказываний, ложь является одним из двух постулируемых значений истинности.
Обычными обозначениями значения false являются 0, O и символ возврата ⊥.
В некоторых формальных теориях, таких как интуиционистское исчисление высказываний, вводится пропозициональная константа ⊥, значение которой всегда ложно.
В классической логике и булевой логике true и false противоположны по отношению к отрицанию.
Отрицание значения false эквивалентно значению true в большинстве логических систем.
Ложь, отрицание и противоречие связаны в большинстве логических систем.
Формальная теория, использующая «⊥», определяется как непротиворечивость, если ложь не входит в число ее теорем.

Полный текст статьи:

Ложь (логика) — Википедия, бесплатная энциклопедия