请问各种逻辑符号的意思。

¬否定
∧合取
∨析取
∀全称量词
∃存在量词
∈属于
⊂包含于
⊃包含
∪并集
∩交集
→蕴涵
←逆蕴涵
↔等值
⇒严格蕴涵（本来是为了避免实质蕴涵怪论而出现的，现在似乎经常用来表示推导）
⇔严格等值（表示互推）
不过如果你在网上搜索“数学符号表”的话也可以看到略有不同的解释。

¬

逻辑否定 陈述 ¬A 为真，当且仅当 A 为假。
穿过其他算符的斜线同于在它前面放置的 "¬"。 ¬(¬A)⇔ A
x ≠ y ⇔ ¬(x = y)