Традиционная логика

ОТРИЦАТЕЛЬНОЕ ПРОСТОЕ СУЖДЕНИЕ

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