В логике , false или untrue - это состояние обладания отрицательным значение истинности или нуль логическая связка. В системе логики высказываний функционала истинности это одно из двух постулируемых значений истинности вместе с его отрицанием, истиной. Обычные обозначения ложного: 0 (особенно в логической логике и информатике ), O (в префиксной нотации , Opq), и символ поднятого галса .
Другой подход используется для нескольких формальных теорий (например, интуиционистское исчисление высказываний ), где вводится пропозициональная константа (т.е. нулевая связка), , значение истинности которой всегда ложно в указанном выше смысле. Это утверждение можно рассматривать как абсурдное, и его часто называют абсурдом.
В булевой логике каждая переменная обозначает значение истинности, которое может быть либо истинным (1), либо ложным (0).
В классическом исчислении высказываний каждому утверждению будет присвоено значение истинности либо истинное, либо ложное. Некоторые системы классической логики включают специальные символы для ложного (0 или ), в то время как другие вместо этого полагаются на такие формулы, как p ∧ ¬p и ¬ (p → p).
И в логической, и в классической логической системе истина и ложь противоположны по отношению к отрицанию ; отрицание ложного дает истину, а отрицание истины дает ложь.
true | false |
---|---|
false | true |
Отрицание false эквивалентно истине не только в классической логике и булевой логике, но и в большинстве других логических систем, как объясняется ниже.
В большинстве логических систем отрицание, материальное условное и ложное соотносятся следующим образом:
Фактически, это определение отрицания в некоторых системах, таких как интуиционистская логика, и может быть доказано в исчислениях высказываний, где отрицание является фундаментальной связкой. Поскольку p → p обычно является теоремой или аксиомой, следствием этого является то, что отрицание ложного (¬ ⊥) истинно.
A противоречие - это ситуация, которая возникает, когда утверждение, которое предполагается истинным, показывает, что влечет за собой ложь (то есть φ ⊢ ⊥). Используя указанную выше эквивалентность, противоречие φ можно вывести, например, из ⊢ ¬φ. Утверждение, которое само по себе влечет за собой ложь, иногда называют противоречием, а противоречия и ложь иногда не различают, особенно из-за того, что латинский термин falsum используется в английском языке для обозначения любого, но ложного является одним конкретным утверждением.
. Логические системы могут содержать или не содержать принцип взрыва (ex falso quodlibet в латинском ), ⊥ ⊢ φ для всех φ. По этому принципу противоречия и ложь эквивалентны, поскольку одно влечет за собой другое.
A формальная теория, использующая связку «», определяется как непротиворечивая, если и только если ложь не является среди его теорем. В отсутствие пропозициональных констант вместо них могут использоваться некоторые заменители (такие как, описанные выше) для определения согласованности.