Да. Более того, нужно.
2х2=5. Этого не существует, потому отрицаемо.
Я, конечно, могу погрузить Вас в дебри мат. логики. Но, постараюсь ограничиться общепонятными вещами.
Отрицание чего-либо есть признание его отсутствия. Потому не только можно, но и нужно отрицать несуществующие.