Значение ОТРИЦАНИЕ (В ЛОГИКЕ) в Большой советской энциклопедии, БСЭ

ОТРИЦАНИЕ (В ЛОГИКЕ)

одна из логических операций ; отражает употребление выражения 'неверно, что...' в логических выводах.

Большая советская энциклопедия, БСЭ.