Отрицание: различия между версиями
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
РоманСузи (обсуждение | вклад) м откат правок 109.201.215.185 (обс) к версии Addbot |
|||
Строка 1:
{{другие значения}}
'''Отрица́ние''' в [[логика|логике]] — [[унарная операция]] над [[суждение|суждениями]], результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком '''¬''' перед или чертой '''--''' над суждением. Синоним: '''логическое "
Как в [[Классическая логика|классической]], так и в [[интуиционизм|интуиционистской]] логике «двойное отрицание» ¬¬A является следствием<!-- ну не скажешь же «свойством»? не поймут --> суждения A, то есть имеет место [[тавтология (логика)|тавтология]]:
<math> A \rightarrow \neg \neg A </math>.
Обратное утверждение <math> \neg \neg A \rightarrow A </math> верно в классической логике (''[[закон двойного отрицания]]''), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить [[Интуиционизм|интуиционистским]] доказательством, в отличие от классической логики.
== Схемотехника ==
{{main|Логические элементы#Отрицание, НЕТ, НЕ|l1=Логические элементы — отрицание}}
[[Файл:NOT gate RU.svg|thumb|right|80px|Инвертор]]
{| class="wikitable" style="float:left; margin-right:18px;"
|-
! <math> A</math>
! <math>B=\bar A</math>
|-
|-
Строка 25 ⟶ 27 :
* "1" [[Тогда и только тогда|тогда и только тогда]], когда на входе «0»,
* "0" тогда и только тогда, когда на входе «1»
{{clear}}
== См. также ==
| |||