Логічне заперечення. Заперечення (інверсія) — це логічна операція, яка робить хибне висловлювання істинним, а щире — хибним. Позначення: НЕ \(A\), not \(A\), ¬ A , A ¯ .
Операція диз'юнкція, або логічне додавання, позначається знаком V, | або +.
Заперечення (інверсія, Від лат. inversio — переворот, логічне «НЕ») логіці – Унарна операція над судженнями, результатом якої є судження, "протилежне" вихідному. Позначається знайомий перед чи рисою — над судженням.
Для запису логічної операції І використовують такі позначення: A І B, A AND B, A · B, A * B, A B, A & B.