Отрицание: различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
BFD-69 (обсуждение | вклад) м отмена правки 107170074 участника 185.23.66.65 (обс.) Метка: отмена |
Составление списка литературы Метка: визуальный редактор отключён |
||
Строка 38: | Строка 38: | ||
* «0» тогда и только тогда, когда на входе «1». |
* «0» тогда и только тогда, когда на входе «1». |
||
== Литература == |
|||
* {{Книга|заглавие=Отрицательные высказывания|автор=Бродский И. Н.|место=Л.|издательство=Издательство Ленинградского университета|год=1973|страниц=104}} |
|||
* {{Статья|заглавие=Феноменологическая онтология суждения и отрицания|издание=Логико-философские штудии|автор=Скиба А. С.|ссылка=https://www.academia.edu/43765411/Феноменологическая_онтология_суждения_и_отрицания_Phenomenological_ontology_of_judgment_and_negation|год=2020|том=17|номер=4|страницы=280—295}} |
|||
* {{Книга|заглавие=Логика и логическая семантика: сборник трудов|автор=Фреге Г.|место=М.|издательство=Аспект Пресс|год=2000|страницы=343—356|часть=Отрицание. Логическое исследование}} |
|||
* {{Cite web|url=https://iphlib.ru/library/collection/newphilenc/document/HASH01f0080d0e90bbbf28f2ffef|title=Отрицание|author=Зайцев Д. В.|website=Новая философская энциклопедия: В 4 томах|publisher=Мысль|editor=Научно-ред. совет: предс. В. С. Степин, заместители предс.: А. А. Гусейнов, Г. Ю. Семигин, уч. секр. А. П. Огурцов|location=М.}} |
|||
* {{Книга|заглавие=The Age of Alternative Logics|автор=Hintikka J.|место=Drodrecht|издательство=Springer|год=2006|страницы=195—219|isbn=978-1-4020-5012-1|часть=Truth, Negation and Other Basic Notions of Logic|язык=en}} |
|||
* {{Статья|заглавие=Negation in Logic and in Natural Language|издание=Linguistics and Philosophy|автор=Hintikka J.|ссылка=https://www.jstor.org/stable/25001865|язык=en|год=2002|том=25|номер=5/6|страницы=585—600|издательство=Springer}} |
|||
* {{Книга|заглавие=A Natural History of Negation|автор=Horn L.|издательство=University of Chicago Press|год=2001|страниц=637|isbn=1575867176|язык=en}} |
|||
{{logic-stub}} |
{{logic-stub}} |
||
{{Нет ссылок|дата=14 мая 2011}} |
{{Нет ссылок|дата=14 мая 2011}} |
Версия от 15:02, 8 сентября 2020
Отрицание | |
---|---|
НЕ, NOT | |
| |
Определение | |
Таблица истинности | |
Логический вентиль | |
Нормальные формы | |
Дизъюнктивная | |
Конъюнктивная | |
Полином Жегалкина | |
Принадлежность предполным классам | |
Сохраняет 0 | Нет |
Сохраняет 1 | Нет |
Монотонна | Нет |
Линейна | Да |
Самодвойственна | Да |
Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением.
Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология: .
Обратное утверждение верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.
Схемотехника
0 | 1 |
1 | 0 |
Мнемоническое правило для отрицания звучит так: на выходе будет
- «1» тогда и только тогда, когда на входе «0»,
- «0» тогда и только тогда, когда на входе «1».
Литература
- Бродский И. Н. Отрицательные высказывания. — Л.: Издательство Ленинградского университета, 1973. — 104 с.
- Скиба А. С. Феноменологическая онтология суждения и отрицания // Логико-философские штудии. — 2020. — Т. 17, № 4. — С. 280—295.
- Фреге Г. Отрицание. Логическое исследование // Логика и логическая семантика: сборник трудов. — М.: Аспект Пресс, 2000. — С. 343—356.
- Зайцев Д. В. Научно-ред. совет: предс. В. С. Степин, заместители предс.: А. А. Гусейнов, Г. Ю. Семигин, уч. секр. А. П. Огурцов: Отрицание . Новая философская энциклопедия: В 4 томах. М.: Мысль.
- Hintikka J. Truth, Negation and Other Basic Notions of Logic // The Age of Alternative Logics (англ.). — Drodrecht: Springer, 2006. — P. 195—219. — ISBN 978-1-4020-5012-1.
- Hintikka J. Negation in Logic and in Natural Language (англ.) // Linguistics and Philosophy. — Springer, 2002. — Vol. 25, no. 5/6. — P. 585—600.
- Horn L. A Natural History of Negation (англ.). — University of Chicago Press, 2001. — 637 p. — ISBN 1575867176.
Это заготовка статьи по логике. Помогите Википедии, дополнив её. |
В статье не хватает ссылок на источники (см. рекомендации по поиску). |