请问各种逻辑符号的意思.求所有的逻辑符号及其含义.（⇒⇔↔¬∧∨∀∃∈⊂⊃∪∩→← ）普通逻辑学和现代逻辑学什么区别?我只知道¬

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

¬否定∧合取∨析取∀全称量词∃存在量词∈属于⊂包含于⊃包含∪并集∩交集→蕴涵←逆蕴涵↔等值⇒严格蕴涵（本来是为了避免实质蕴涵怪论而出现的,现在似乎经常用来表示推导）V...