Отрицательное суждение (отрицание) – это сложное суждение с союзом НЕВЕРНО, ЧТО, который обозначается знаком «¬».