Trong công thức ¬P, ký hiệu ¬ làm gì?