合取:\wedge
析取:\vee
否定:\neg
蕴含(条件):\rightarrow
双条件:\leftrightarrow
推出:\Rightarrow
等价:\Leftrightarrow
任意:\forall
存在:\exists
合取:\wedge
析取:\vee
否定:\neg
蕴含(条件):\rightarrow
双条件:\leftrightarrow
推出:\Rightarrow
等价:\Leftrightarrow
任意:\forall
存在:\exists