negative statement

Мат. отрицательное высказывание (в логике высказываний)