Các ký hiệu ⊤ và ⊥ biểu thị điều gì?

P ∧ ⊤

Hai biến mệnh đềCác hằng đúng (⊤) và sai (⊥)Phép hội và phép tuyểnĐiểm bắt đầu và kết thúc của một chứng minh