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

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

сложное суждение, образуемое логическим союзом инверсия, соответствующим грамматическим союзам «неправда, что …», «ложно, что …» и др.