ОТРИЦАНИЕ

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

В логике классической если высказывание А истинно, его О. ложно, а если A ложно, его О. истинно. Напр., т. к. высказывание «10 — четное число» истинно, его О. «Неверно, что 10 — четное число» ложно.

ОТРИЦАТЕЛЬНОЕ ВЫСКАЗЫВАНИЕ, см.: Отрицание.

ОЦЕНКА,см.: Оценочное высказывание.

Вернуться к оглавлению

© 2000- NIV