Отрицание

Операция, которая переводит предложение p в другое предложение «не p», записанное ¬p, которое интуитивно интерпретируется как истинное, когда p равно ложь и ложь, если p истинно; унарная (с одним аргументом) логическая связка

Отрицание

НЕ
Определение	$x\; ¯\; \{\backslash \; displaystyle\; \{\backslash \; overline\; \{x\}\}\}$
Таблица истинности	$(10)\; \{\backslash \; displaystyle\; (10)\}$
Логический вентиль
Нормальные формы
Дизъюнктивная	$x\; ¯\; \{\backslash \; displaystyle\; \{\backslash \; overline\; \{x\}\}\}$
Конъюнктивная	$x\; ¯\; \{\backslash \; displaystyle\; \{\backslash \; overline\; \{\; x\}\}\}$
Многочлен Жегалкина	$1\; \oplus \; x\; \{\backslash \; displaystyle\; 1\; \backslash \; oplus\; x\}$
Решетки Поста
с сохранением 0	no
с сохранением 1	no
Монотонный	no
Аффинный	да
v t

В логике отрицание, также называемое логическим дополнением, представляет собой операцию, которая принимает предложение $P\; \{\backslash \; displaystyle\; P\}$к другому утверждению «не $P\; \{\backslash \; displaystyle\; P\}$», записанное $\neg \; P\; \{\; \backslash \; displaystyle\; \backslash \; neg\; P\}$, $\sim \; P\; \{\backslash \; displaystyle\; \{\backslash \; mathord\; \{\backslash \; sim\}\}\; P\}$или $P\; ¯\; \{\backslash \; displaystyle\; \{\backslash \; overline\; \{P\}\}\}$. Интуитивно интерпретируется как истинное, если $P\; \{\backslash \; displaystyle\; P\}$ложно, и как ложное, когда $P\; \{\backslash \; displaystyle\; P\}$истинно. Таким образом, отрицание представляет собой унарную (с одним аргументом) логическую связку . Его можно применять как операцию к понятиям, предложениям, значениям истинности или семантическим значениям в более общем смысле. В классической логике отрицание обычно отождествляется с функцией истинности, которая переводит истину в ложь (и наоборот). В интуиционистской логике, согласно интерпретации Брауэра – Гейтинга – Колмогорова, отрицание предложения $P\; \{\backslash \; displaystyle\; P\}$- это утверждение, Доказательствами являются опровержения $P\; \{\backslash \; displaystyle\; P\}$.

• 1 Определение
• 2 Обозначение
• 3 Свойства
  • 3.1 Двойное отрицание
  • 3.2 Распределимость
  • 3.3 Линейность
  • 3.4 Самодвойственный
  • 3.5 Отрицание кванторов
• 4 Правила вывода
• 5 Язык программирования и обычный язык
• 6 Семантика Крипке
• 7 См. Также
• 8 Ссылки
• 9 Далее чтение
• 10 Внешние ссылки

Не существует соглашения относительно возможности определения отрицания относительно его логического статуса, функции и значения, относительно области его применимости и относительно интерпретации отрицательного суждения (FH Heinemann 1944).

Классическое отрицание - это операция над одним логическим значением, обычно значением пропозиции, который производит val ue имеет значение true, если его операнд равен false, и значение false, когда его операнд равен true. Таким образом, если выражение $P\; \{\backslash \; displaystyle\; P\}$истинно, тогда $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$(произносится как «не P») будет ложный; и наоборот, если $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$ложно, то $P\; \{\backslash \; displaystyle\; P\}$будет истинным.

таблица истинности для $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$выглядит следующим образом:

$P\; \{\backslash \; displaystyle\; P\}$	$\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$
True	False
False	True

Отрицание можно определить в терминах других логических операций. Например, $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$можно определить как $P\; \to \; \perp \; \{\backslash \; displaystyle\; P\; \backslash \; rightarrow\; \backslash \; bot\}$(где $\to \; \{\backslash \; displaystyle\; \backslash \; rightarrow\}$является логическим следствием и $\perp \; \{\backslash \; displaystyle\; \backslash \; bot\}$является абсолютной ложью ). И наоборот, можно определить $\perp \; \{\backslash \; displaystyle\; \backslash \; bot\}$как $Q\; \wedge \; \neg \; Q\; \{\backslash \; displaystyle\; Q\; \backslash \; land\; \backslash \; neg\; Q\}$для любого предложения $Q\; \{\backslash \; displaystyle\; Q\}$(где $\wedge \; \{\backslash \; displaystyle\; \backslash \; land\}$- логическое соединение ). Идея здесь в том, что любое противоречие ложно, и хотя эти идеи работают как в классической, так и в интуиционистской логике, они не работают в паранепротиворечивой логике, где противоречия не обязательно ложны. В классической логике мы также получаем дополнительную идентичность: $P\; \to \; Q\; \{\backslash \; displaystyle\; P\; \backslash \; rightarrow\; Q\}$может быть определено как $\neg \; P\; \vee \; Q\; \{\backslash \; displaystyle\; \backslash \; neg\; P\; \backslash \; lor\; Q\}$, где $\vee \; \{\backslash \; displaystyle\; \backslash \; lor\}$- логическая дизъюнкция.

Алгебраически классическое отрицание соответствует дополнению в Булева алгебра и интуиционистское отрицание псевдодополнения в алгебре Гейтинга. Эти алгебры обеспечивают семантику для классической и интуиционистской логики соответственно.

Отрицание предложения $p\; \{\backslash \; displaystyle\; p\}$обозначается по-разному, в различных контекстах обсуждения и областях применения. В следующей таблице описаны некоторые из этих вариантов:

Нотация	Обычный текст	Вокализация
$\neg \; p\; \{\backslash \; displaystyle\; \backslash \; neg\; p\}$	¬p	Не p
$\sim \; p\; \{\backslash \; displaystyle\; \{\backslash \; mathord\; \{\backslash \; sim\}\}\; p\}$	~ p	Не p
$-\; p\; \{\backslash \; displaystyle\; -p\}$	-p	Не p
Np		En p
$p\; \text{'}\{\backslash \; displaystyle\; p\text{'}\}$	p '	p простое, p дополнение
$p\; ¯\; \{\backslash \; displaystyle\; \{\backslash \; overline\; \{p\}\}\}$	̅p	p bar, bar p
$!\; p\; \{\backslash \; displaystyle!\; p\}$	! p	Bang p Not p

Обозначение Np - это обозначение Лукасевича.

В теории множеств, $\setminus \; \{\backslash \; displaystyle\; \backslash \; setminus\}$также используется для обозначения «не входит в набор»: $U\; \setminus \; A\; \{\backslash \; displaystyle\; U\; \backslash \; setminus\; A\}$is набор всех членов $U\; \{\backslash \; displaystyle\; U\}$, которые не являются членами $A\; \{\backslash \; displaystyle\; A\}$.

, независимо от того, как он обозначен или обозначен символами, отрицание $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$можно прочитать как «это не тот случай, когда $P\; \{\backslash \; displaystyle\; P\}$», «не то, что $P\; \{\backslash \; displaystyle\; P\}$», или обычно проще, как «не $P\; \{\backslash \; displaystyle\; P\}$».

Двойное отрицание

В системе классической логики двойное отрицание, то есть отрицание отрицания предложения $P\; \{\backslash \; displaystyle\; P\}$, логически эквивалентен и $P\; \{\backslash \; displaystyle\; P\}$. Выражается в символических терминах: $\neg \; \neg \; P\; \equiv \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; \backslash \; neg\; P\; \backslash \; Equiv\; P\}$. В интуиционистской логике предложение подразумевает двойное отрицание, но не наоборот. Это отмечает одно важное различие между классическим и интуиционистским отрицанием. Алгебраически классическое отрицание называется инволюцией периода два.

Однако в интуиционистской логике эквивалентность $\neg \; \neg \; \neg \; P\; \equiv \; \neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; \backslash \; neg\; \backslash \; neg\; P\; \backslash \; Equiv\; \backslash \; neg\; P\}$не держит. Более того, в пропозициональном случае предложение является классически доказуемым, если его двойное отрицание доказуемо интуитивно. Этот результат известен как теорема Гливенко.

Распределительность

Законы Де Моргана обеспечивают способ распределения отрицания по дизъюнкции и конъюнкции <353.>¬ (п ∨ Q) ≡ (¬ P ∧ ¬ Q) {\ displaystyle \ neg (P \ lor Q) \ Equiv (\ neg P \ land \ neg Q)}и

$\neg \; (п\; \wedge \; Q)\; \equiv \; (\neg \; P\; \vee \; \neg \; Q)\; \{\backslash \; displaystyle\; \backslash \; neg\; (P\; \backslash \; land\; Q)\; \backslash \; Equiv\; (\backslash \; neg\; P\; \backslash \; lor\; \backslash \; neg\; Q)\}$.

Линейность

Пусть $\oplus \; \{\backslash \; displaystyle\; \backslash \; oplus\}$обозначают логическую операцию xor. В булевой алгебре линейная функция - это такая функция, что:

Если существует $a\; 0,\; a\; 1,\dots ,\; an\; \in \; \{0,\; 1\}\; \{\backslash \; displaystyle\; a\_\; \{\; 0\},\; a\_\; \{1\},\; \backslash \; dots,\; a\_\; \{n\}\; \backslash \; in\; \backslash \; \{0,1\; \backslash \}\}$, $f\; (b\; 1,\; b\; 2,\dots ,\; bn)\; =\; a\; 0\; \oplus \; (a\; 1\; \wedge \; b\; 1)\; \oplus \; \cdots \; \oplus \; (ан\; \wedge \; bn)\; \{\backslash \; displaystyle\; f\; (b\_\; \{1\},\; b\_\; \{2\},\; \backslash \; dots,\; b\_\; \{n\})\; =\; a\_\; \{0\}\; \backslash \; oplus\; (a\_\; \{1\}\; \backslash \; land\; b\_\; \{1\})\; \backslash \; oplus\; \backslash \; dots\; \backslash \; oplus\; (a\_\; \{n\}\; \backslash \; land\; b\_\; \{n\})\}$, для всех $b\; 1,\; b\; 2,\dots ,\; bn\; \in \; \{0,\; 1\}\; \{\backslash \; displaystyle\; b\_\; \{1\},\; b\_\; \{2\},\; \backslash \; dots,\; b\_\; \{n\}\; \backslash \; in\; \backslash \; \{0,1\; \backslash \}\}$.

Другим способом выразить это является то, что каждая переменная всегда имеет значение в истине - значение операции, иначе это не имеет значения. Отрицание - это линейный логический оператор.

Самодвойственная

В Булевой алгебре самодвойственная функция - это функция, такая что:

$f\; (a\; 1,\dots ,\; an)\; =\; \neg \; f\; (\; \neg \; a\; 1,\dots ,\; \neg \; an)\; \{\backslash \; displaystyle\; f\; (a\_\; \{1\},\; \backslash \; dots,\; a\_\; \{n\})\; =\; \backslash \; neg\; f\; (\backslash \; neg\; a\_\; \{1\},\; \backslash \; dots,\; \backslash \; neg\; a\_\; \{n\})\}$для всех $a\; 1,\dots ,\; an\; \in \; \{0,\; 1\}\; \{\backslash \; displaystyle\; a\_\; \{1\},\; \backslash \; dots,\; a\_\; \{n\}\; \backslash \; in\; \backslash \; \{0,1\; \backslash \}\}$. Отрицание - это самодвойственный логический оператор.

Отрицание кванторов

В логике первого порядка есть два квантификатора, один - универсальный квантор $\forall \; \{\backslash \; displaystyle\; \backslash \; forall\}$(означает «для всех»), а другой - квантор существования $\exists \; \{\backslash \; displaystyle\; \backslash \; exists\}$(означает «существует»). Отрицание одного квантора - это другой квантор ($\neg \; \forall \; x\; P\; (x)\; \equiv \; \exists \; x\; \neg \; P\; (x)\; \{\backslash \; displaystyle\; \backslash \; neg\; \backslash \; forall\; xP\; (x)\; \backslash \; Equiv\; \backslash \; exists\; x\; \backslash \; neg\; P\; (x)\; \}$и $\neg \; \exists \; x\; P\; (x)\; \equiv \; \forall \; x\; \neg \; P\; (x)\; \{\backslash \; displaystyle\; \backslash \; neg\; \backslash \; exists\; xP\; (x)\; \backslash \; Equiv\; \backslash \; forall\; x\; \backslash \; neg\; P\; (x)\}$). Например, с предикатом P как «x смертен» и областью x как совокупностью всех людей, $\forall \; x\; P\; (x)\; \{\backslash \; displaystyle\; \backslash \; forall\; xP\; (x)\}$означает «человек x во всех людях смертен» или «все люди смертны». Его отрицание: $\neg \; \forall \; x\; P\; (x)\; \equiv \; \exists \; x\; \neg \; P\; (x)\; \{\backslash \; displaystyle\; \backslash \; neg\; \backslash \; forall\; xP\; (x)\; \backslash \; Equiv\; \backslash \; exists\; x\; \backslash \; neg\; P\; (x)\}$, что означает «во всех людях существует личность x, которая не смертна», или «существует тот, кто живет вечно».

Есть несколько эквивалентных способов сформулировать правила отрицания. Один из обычных способов сформулировать классическое отрицание в настройке естественного вывода состоит в том, чтобы принять за примитивные правила введение отрицания вывода (от вывода $P\; \{\backslash \; displaystyle\; P\}$к обоим $Q\; \{\backslash \; displaystyle\; Q\}$и $\neg \; Q\; \{\backslash \; displaystyle\; \backslash \; neg\; Q\}$, вывести $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$; это правило также называется reductio ad absurdum ), исключение отрицания (из $P\; \{\backslash \; displaystyle\; P\}$и $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$вывести $Q\; \{\backslash \; displaystyle\; Q\}$; это правило также называется ex falso quodlibet) и исключение двойного отрицания (из $\neg \; \neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; \backslash \; neg\; P\}$вывести $P\; \{\backslash \; displaystyle\; P\}$). Правила интуиционистского отрицания получаются таким же образом, но исключая исключение двойного отрицания.

Введение отрицания утверждает, что если абсурд может быть сделан как вывод из $P\; \{\backslash \; displaystyle\; P\}$, то $P\; \{\backslash \; displaystyle\; P\}$не должно быть так (например, $P\; \{\backslash \; displaystyle\; P\}$является ложным (классически) или опровергнутым (интуиционистски) и т. д.). Устранение отрицания утверждает, что все следует из абсурда. Иногда исключение отрицания формулируется с помощью знака примитивного абсурда $\perp \; \{\backslash \; displaystyle\; \backslash \; bot\}$. В этом случае правило гласит, что из $P\; \{\backslash \; displaystyle\; P\}$и $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$следует абсурд. Вместе с устранением двойного отрицания можно вывести наше изначально сформулированное правило, а именно, что все следует из абсурда.

Обычно интуиционистское отрицание $\neg \; P\; \{\backslash \; displaystyle\; \backslash \; neg\; P\}$из $P\; \{\backslash \; displaystyle\; P\}$определяется как $П\; \to \; \perp \; \{\backslash \; Displaystyle\; P\; \backslash \; rightarrow\; \backslash \; bot\}$. Тогда введение и исключение отрицания - это просто частные случаи введения импликации (условное доказательство ) и исключения (modus ponens ). В этом случае нужно также добавить в качестве примитивного правила ex falso quodlibet.

Как и в математике, в информатике отрицание используется для построения логических утверждений.

if (! (R == t)) {/*... инструкции, выполняемые, когда r НЕ равно t... * /}

Восклицательный знак "!"означает логическое НЕ в B, C и языки с синтаксисом на основе C, такие как C ++, Java, JavaScript, Perl и PHP. "NOT" - это оператор, используемый в ALGOL 60, BASIC и языках с синтаксисом, вдохновленным ALGOL или BASIC, например Pascal, Ada, Eiffel и Seed7. Некоторые языки (C ++, Perl и т. Д.) Предоставляют более одного оператора для отрицания. A некоторые языки, такие как PL / I и Ratfor, используют ¬для отрицания. Некоторые современные компьютеры и операционные системы будут отображать ¬как !для файлов, закодированных в ASCII. Большинство современных языков позволяют сокращать приведенный выше оператор с if (! (R == t))до if (r! = T), что позволяет иногда, когда компилятор / интерпретатор не может оптимизировать его, более быстрые программы.

В информатике тоже есть побитовое отрицание. Это принимает заданное значение и переключает все двоичные 1 на 0 и 0 на 1. См. поразрядную операцию. Это часто используется для создания дополнения до единиц или «~» в C или C ++ и дополнения до двух (просто упрощено до «-"или отрицательный знак, поскольку это эквивалентно получению отрицательного арифметического значения числа), поскольку он в основном создает противоположное (эквивалент отрицательного значения) или математическое дополнение значения (когда оба значения складываются вместе, они создают единое целое).

Чтобы получить абсолютное (положительное эквивалентное) значение данного целого числа, следующее будет работать, поскольку «-» изменяет его с отрицательного на положительное (оно отрицательное, потому что «x < 0"возвращает истину)

unsigned int abs (int x) {if (x < 0) return -x; else return x; }

Чтобы продемонстрировать логическое отрицание:

unsigned int abs (int x) {if (! (X < 0)) return x; else return -x; }

Инвертирование условие и реверсирование результатов дает код, который логически эквивалентен исходному коду, т.е. будет иметь идентичные результаты для любого ввода (обратите внимание, что в зависимости от используемого компилятора фактические инструкции, выполняемые компьютером, могут отличаться).

Это соглашение иногда встречается в обычной письменной речи, как связанный с компьютером сленг вместо «нет». Например, фраза ! Голосованиеозначает «не голосование». Другой пример - фраза ! clue, который используется в качестве синонима для слов «не догадывается» или «невежественен».

В семантике Крипке где семантические значения формулы - это наборы возможных миров, отрицание может означать теоретико-множественное дополнение (подробнее см. также семантика возможных миров ).

• Утверждение и отрицание (грамматическая полярность)
• Амфек
• Апофазис
• Бинарная оппозиция
• Побитовое НЕ
• Циклическое отрицание
• Логическое соединение
• Логическая дизъюнкция
• Отрицание как неудача
• Врата НЕ
• Борода Платона
• Квадрат оппозиции
• Функция истины
• Таблица истинности

• Габбей, Дов и Вансинг, Генрих, ред., 1999. Что такое отрицание?, Клувер.
• Хорн, Л., 2001. Естественная история отрицания, Университет of Chicago Press.
• Г. Х. фон Райт, 1953–59, «О логике отрицания», Commentationes Physico-Mathematicae 22.
• Вансинг, Генрих, 2001, «Отрицание», в Гобле, Лу, изд., Руководство Блэквелла по философской логике, Блэквелл.
• Теттаманти, Марко; Маненти, Роза; Della Rosa, Pasquale A.; Фалини, Андреа; Перани, Даниэла; Каппа, Стефано Ф.; Моро, Андреа (2008). «Отрицание в мозгу: представление модулирующего действия». NeuroImage. 43 (2): 358–367. doi : 10.1016 / j.neuroimage.2008.08.004. PMID 18771737. S2CID 17658822.

На Викискладе есть материалы, связанные с Negation.

• Horn, Laurence R.; Вансинг, Генрих. «Отрицание». В Залта, Эдвард Н. (ред.). Стэнфордская энциклопедия философии.
• , Энциклопедия математики, EMS Press, 2001 [1994]
• НЕ, на MathWorld

Таблицы истины составных предложений

• «Таблица истинности для предложения NOT, примененного к предложению END». Архивировано из оригинала 1 марта 2000 года.
• «Пункт NOT в предложении END». Архивировано из оригинала 1 марта 2000 года.
• «Пункт НЕ предложения ИЛИ». Архивировано из оригинала 17 января 2000 года.
• «Пункт НЕ для периода IF... THEN». Архивировано 1 марта 2000 г. из оригинала.