Символ отрицания в логике