逻辑符号表- 维基百科，自由的百科全书

因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。所以，给学 ... 可能意味着同⇒ 一样的意思(这个符号也可以指示函数的域和陪域；参见数学符号表)。

zh.wikipedia.org