- логическая операция, с помощью которой из данного высказывания получается новое высказывание; при этом если исходное высказывание истинно, его О. не является истинным, а если оно ложно, его О. не является ложным. Отрицательное высказывание состоит из исходного высказывания и помещаемого перед ним знака О. (в логике ~ или 1), читаемого как "не" или "неверно, что"; О. высказывания A является сложное высказывание ~А. В логике классической если высказывание А истинно, его О. ~А ложно, а если A ложно, его О. ~А истинно. Напр., т. к. высказывание "10 - четное число" истинно, его О. "Неверно, что 10 - четное число" ложно.