WikiDer > Отрицание
Эта статья включает в себя список общих использованная литература, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. (Март 2013 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
НЕ | |
---|---|
Определение | |
Таблица истинности | |
Логический вентиль | |
Нормальные формы | |
Дизъюнктивный | |
Конъюнктивный | |
Полином Жегалкина | |
Решетки столба | |
0-сохранение | нет |
1-консервирующий | нет |
Монотонный | нет |
Аффинный | да |
В логика, отрицание, также называемый логическое дополнение, является операция это требует предложение к другому предложению "не ", написано , или .[1] Это интуитивно интерпретируется как истина, когда ложно, и ложно, когда правда.[2][3] Таким образом, отрицание является унарным (с одним аргументом) логическая связка. Может применяться как операция на понятия, предложения, ценности истины, или семантические значения в более общем смысле. В классическая логика, отрицание обычно отождествляется с функция истины это требует правда к фальшь (и наоборот). В интуиционистская логика, согласно Интерпретация Брауэра – Гейтинга – Колмогорова, отрицание предложения - предложение, доказательствами которого являются опровержения .
Определение
Не существует согласия относительно возможности определения отрицания, его логического статуса, функции и значения, области его применимости и интерпретации отрицательного суждения (F.H. Heinemann, 1944).[4]
Классическое отрицание является операция на одной логическое значение, обычно значение предложение, что дает значение правда когда его операнд ложен, а значение ложный когда его операнд истинен. Таким образом, если заявление верно, тогда (произносится как «не П») тогда будет ложным; и наоборот, если ложно, тогда было бы правдой.
В таблица истинности из составляет:
Правда | Ложь |
Ложь | Правда |
Отрицание можно определить с помощью других логических операций. Например, можно определить как (где является логическое следствие и является абсолютная ложь). Наоборот, можно определить так как для любого предложения (где является логическое соединение). Идея в том, что любой противоречие ложно, и хотя эти идеи работают как в классической, так и в интуиционистской логике, они не работают в непротиворечивая логика, где противоречия не обязательно ложны. В классической логике мы также получаем следующее тождество: можно определить как , где является логическая дизъюнкция.
Алгебраически классическому отрицанию соответствует дополнение в Булева алгебра, и интуиционистское отрицание псевдодополнения в Алгебра Гейтинга. Эти алгебры обеспечивают семантика для классической и интуиционистской логики соответственно.
Обозначение
Отрицание предложения обозначается по-разному, в разных контекстах обсуждения и областях применения. В следующей таблице приведены некоторые из этих вариантов:
Обозначение | Простой текст | Вокализация |
---|---|---|
¬p | Не п | |
~ р | Не п | |
-п | Не п | |
Nп | En п | |
п' |
| |
п |
| |
!п |
|
Обозначение Nп является Обозначение Лукасевича.
В теория множеств, также используется для обозначения «не входит в набор»: это набор всех членов которые не являются членами .
Независимо от того, как это записано или символизированный, отрицание можно прочитать как "это не тот случай, когда "," не то ", или обычно проще" не ".
Свойства
Двойное отрицание
В системе классическая логика, двойное отрицание, то есть отрицание отрицания предложения , является логически эквивалентный к . Выражаясь символически, . В интуиционистская логика, предложение влечет за собой двойное отрицание, но не наоборот. Это отмечает одно важное различие между классическим и интуиционистским отрицанием. Алгебраически классическое отрицание называется инволюция периода два.
Однако в интуиционистская логика, эквивалентность не держит. Более того, в пропозициональном случае предложение является классически доказуемым, если его двойное отрицание доказуемо интуитивно. Этот результат известен как Теорема Гливенко.
Распределительность
Законы де Моргана обеспечить способ распространение отрицание дизъюнкция и соединение:
- , и
- .
Линейность
Позволять обозначают логический xor операция. В Булева алгебра, линейная функция - это такая, что:
Если существует ,,для всех .
Другой способ выразить это: каждая переменная всегда имеет значение истинность операции, или это никогда не имеет значения. Отрицание - это линейный логический оператор.
Самостоятельная двойная
В Булева алгебра, самодвойственная функция - это такая функция, что:
для всех.Отрицание - это самодвойственный логический оператор.
Отрицания кванторов
В логика первого порядка, есть два квантора, один - универсальный квантор. (означает «для всех»), а другой - квантор существования. (означает «существует»).[1] Отрицание одного квантора - это другой квантор ( и ). Например, с предикатом п так как "Икс смертна "и область x как совокупность всех людей, означает «человек x во всех людях смертен» или «все люди смертны». Отрицание этого , что означает "существует человек Икс во всех людях не смертный ", или" есть тот, кто живет вечно ".
Правила вывода
Есть несколько эквивалентных способов сформулировать правила отрицания. Один из обычных способов сформулировать классическое отрицание в естественный вычет установка должна восприниматься как примитивные правила вывода введение отрицания (от вывода как для и , сделать вывод ; это правило также называется сокращение до абсурда), устранение отрицания (от и сделать вывод ; это правило также называется ex falso quodlibet), и исключение двойного отрицания (от сделать вывод ). Правила интуиционистского отрицания получаются таким же образом, но исключая исключение двойного отрицания.
Во введении к отрицанию говорится, что если абсурд можно сделать вывод из тогда не должно быть так (т.е. ложно (классически) или опровергается (интуиционистски) и т. д.). Устранение отрицания утверждает, что все следует из абсурда. Иногда устранение отрицания формулируется с помощью знака примитивной абсурдности. . В этом случае правило гласит, что от и следует за абсурдом. Вместе с устранением двойного отрицания можно вывести наше изначально сформулированное правило, а именно, что все следует из абсурда.
Обычно интуиционистское отрицание из определяется как . Тогда введение и устранение отрицания - лишь частные случаи введения импликации (условное доказательство) и устранение (modus ponens). В этом случае также необходимо добавить в качестве примитивного правила ex falso quodlibet.
Язык программирования и обычный язык
Как и в математике, отрицание используется в Информатика для построения логических утверждений.
если (!(р == т)){ /*... операторы, выполняемые, когда r НЕ равно t ... * /}
В восклицательный знак "!
"означает логическое НЕ в B, C, и языки с синтаксисом на основе C, такие как C ++, Ява, JavaScript, Perl, и PHP. "НЕ
"- оператор, используемый в АЛГОЛ 60, БАЗОВЫЙ, а также языки с синтаксисом, вдохновленным АЛГОЛОМ или БЕЙСИКОМ, например Паскаль, Ада, Эйфель и Семя7. Некоторые языки (C ++, Perl и т. Д.) Предоставляют более одного оператора для отрицания. Несколько языков вроде PL / I и Ratfor использовать ¬
для отрицания. Некоторые современные компьютеры и операционные системы будет отображать ¬
так как !
на файлах, закодированных в ASCII.[требуется разъяснение] Большинство современных языков позволяют сократить приведенное выше утверждение от если (! (r == t))
к если (r! = t)
, что позволяет иногда, когда компилятор / интерпретатор не может оптимизировать его, более быстрые программы.
В информатике также есть побитовое отрицание. Это принимает заданное значение и переключает все двоичный От 1 до 0 и от 0 до 1 с. Увидеть побитовая операция. Это часто используется для создания дополнение или "~
"в C или C ++ и два дополнения (просто упрощено до "-
"или отрицательный знак, поскольку это эквивалентно получению отрицательного арифметического значения числа), поскольку он в основном создает противоположное (эквивалент отрицательного значения) или математическое дополнение значения (когда оба значения складываются вместе, они создают единое целое).
Чтобы получить абсолютное (положительное эквивалентное) значение заданного целого числа, следующее будет работать как "-
«меняет его с отрицательного на положительный (отрицательный, потому что»х <0
"дает истину)
беззнаковый int пресс(int Икс){ если (Икс < 0) вернуть -Икс; еще вернуть Икс;}
Чтобы продемонстрировать логическое отрицание:
беззнаковый int пресс(int Икс){ если (!(Икс < 0)) вернуть Икс; еще вернуть -Икс;}
Инвертирование условия и изменение результатов дает код, который логически эквивалентен исходному коду, то есть будет иметь идентичные результаты для любого ввода (обратите внимание, что в зависимости от используемого компилятора фактические инструкции, выполняемые компьютером, могут отличаться).
Это соглашение иногда встречается в обычной письменной речи, поскольку связано с компьютером. сленг для не. Например, фраза ! голосование
означает «не голосование». Другой пример - фраза !ключ к разгадке
который используется как синоним слов «без понятия» или «невежественный».[5][6]
Семантика Крипке
В Семантика Крипке где семантические значения формул представляют собой наборы возможные миры, отрицание можно понимать как теоретико-множественное дополнение[нужна цитата] (смотрите также возможная мировая семантика для большего).
Смотрите также
использованная литература
- ^ а б «Исчерпывающий список логических символов». Математическое хранилище. 6 апреля 2020 г.. Получено 2 сентября 2020.
- ^ Вайсштейн, Эрик В. "Отрицание". mathworld.wolfram.com. Получено 2 сентября 2020.
- ^ «Логико-математические утверждения - рабочие примеры». www.math.toronto.edu. Получено 2 сентября 2020.
- ^ Хорн, Лоуренс Р. (2001). "Глава 1". ЕСТЕСТВЕННАЯ ИСТОРИЯ ОТРИЦАНИЯ. Стэнфордский университет: публикации CLSI. п. 1. ISBN 1-57586-336-7.
- ^ Раймонд, Эрик и Стил, Гай. Словарь нового хакера, п. 18 (MIT Press 1996).
- ^ Мунат, Юдифь. Лексическое творчество, тексты и контекст, п. 148 (Издательство Джона Бенджамина, 2007).
дальнейшее чтение
- Габбай, Дов, и Вансинг, Генрих, ред., 1999. Что такое отрицание?, Kluwer.
- Хорн, Л., 2001. Естественная история отрицания, Издательство Чикагского университета.
- Г. Х. фон Райт, 1953–59, "О логике отрицания", Физико-математические комментарии 22.
- Вансинг, Генрих, 2001, «Отрицание», в Гобле, Лу, изд., Руководство Блэквелла по философской логике, Блэквелл.
- Теттаманти, Марко; Маненти, Роза; Della Rosa, Pasquale A .; Фалини, Андреа; Перани, Даниэла; Каппа, Стефано Ф .; Моро, Андреа (2008). «Отрицание в мозгу: представление модулирующего действия». NeuroImage. 43 (2): 358–367. Дои:10.1016 / j.neuroimage.2008.08.004. PMID 18771737. S2CID 17658822.
внешние ссылки
Викискладе есть медиафайлы по теме Отрицание. |
- Хорн, Лоуренс Р .; Вансинг, Генрих. "Отрицание". В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
- "Отрицание", Энциклопедия математики, EMS Press, 2001 [1994]
- НЕ, на MathWorld
- Таблицы истины составных статей
- «Таблица истинности для предложения NOT, примененного к предложению END». В архиве из оригинала от 1 марта 2000 г.
- «Предложение NOT в предложении END». В архиве из оригинала от 1 марта 2000 г.
- «Предложение НЕ в предложении ИЛИ». В архиве из оригинала 17 января 2000 г.
- «НЕ условие IF ... THEN период». В архиве из оригинала от 1 марта 2000 г.