Заперечення (інверсія, від латів. inversio — переворот, логічне «НЕ») у логіці — унарна операція над судженнями, результатом якої є судження, «протилежне» вихідному. Позначається знайомий перед або межею — над судженням.
Заперечення (інверсія) – це логічна операція, яка робить хибне висловлювання істинним, а істинне – хибним. Позначення: НЕ \(A\), not \(A\), ¬ A , A ¯ .
Логіка
- Позначення 1.1. Позначення для логічних зв'язок (операцій): a) заперечення (інверсія, логічне НЕ) позначається (наприклад, А); …
- Властивості Наведений нижче список не претендує на повноту, але, сподіваємося, досить репрезентований. 2.1. Загальні властивості
Програмування У комп'ютерних мовах використовуються два основні варіанти кон'юнкції: логічне «І» та побітове (порозрядне) «І». Наприклад, у мовах C/C++ логічне «І» позначається символом "&&", а побітове – символом "&".