Отрицание

Отрицание — логический оператор, противоположный утверждению.
В булевой алгебре отрицание является самодвойственным логическим оператором.
В логике первого порядка существуют два квантора: универсальный и экзистенциальный.
Отрицание одного квантора является другим квантором.
В информатике отрицание используется для построения логических утверждений, например, в языках программирования.
В семантике Крипке отрицание может быть принято за теоретико-множественное дополнение.

Полный текст статьи:

Отрицание — Википедия