⊥是什么数学符号

⊥在数学中通常表示垂直，即两条直线或平面相交时形成的角是90度。此外，它还可以用作逻辑否定的符号，表示非或否定的意思，例如在命题逻辑中，如果P是一个命题，那么?P（读作“非P”）表示P的否定。在集合论中，⊥也可以表示空集，即没有任何元素的集合。