Понимание логического отрицания в математике