Логическое отрицание — унарная логическая операция, определяемая таблицей истинности: : not 0 = 1 : not 1 = 0 Синонимы: Логическое не Синонимы английские: not См. также: Логические операции Финансовый словарь Финам … Финансовый словарь
логическое отрицание — loginis neigimas statusas T sritis automatika atitikmenys: angl. logic negation; logical inversion vok. logische Inversion, f; logische Negation, f rus. логическое отрицание, n pranc. inversion logique, m … Automatikos terminų žodynas
Логическое высказывание — утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true). Логическое высказывание принято обозначать заглавными латинскими буквами. Высказывательной формой… … Википедия
Логическое выражение — в программировании конструкция языка программирования, результатом вычисления которой является «истина» или «ложь». Содержание 1 Операторы 2 Операции 3 Примеры … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Отрицание — У этого термина существуют и другие значения, см. Отрицание (значения). Отрицание в логике унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или… … Википедия
Отрицание — Отрицание элемент значения предложения, который указывает, что связь, устанавливаемая между компонентами предложения, по мнению говорящего, реально не существует (А. М. Пешковский) или что соответствующее утвердительное предложение отвергается… … Лингвистический энциклопедический словарь
Логическое "или" — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое ИЛИ — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое сложение — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
.
верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.