Trong công thức ¬P, ký hiệu ¬ làm gì? - Bài Tập Logic

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

¬P

Nó đảo giá trị chân lý: ¬P đúng đúng vào lúc P saiNó làm công thức đúng ở mọi dòngNó nối hai công thức lạiNó đánh dấu P là một biến