Логічне заперечення. Заперечення (інверсія) – це логічна операція, яка робить хибне висловлювання істинним, а щире – хибним.
Заперечення (інверсія, від латів. inversio — переворот, логічне «НЕ») у логіці — унарна операція над судженнями, результатом якої є судження, «протилежне» вихідному. Позначається знаком перед або рисою – над судженням.
Запереченням висловлювання x називається нове висловлювання, яке є істинним, якщо висловлювання хибно, і хибнимякщо висловлювання x істинно.
Логічні операції – розумові дії, результатом яких є зміна змісту чи обсягу понять, і навіть освіту нових понять. Логічне вираз – усне твердження чи запис, куди, поруч із постійними величинами, обов'язково входять змінні величини.