逻辑符号表

在逻辑中，经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。所以，给学逻辑的人的下列表格，列出了最常用的符号、它们的名字、读法和有关的数学领域。此外，第三列包含非正式定义，第四列给出简短的例子。

要注意，在一些情况下，不同的符号有相同的意义，而同一个符号，依赖于上下文，有不同的意义。

 基本逻辑符号 

符号名字解说例子读作范畴⇒→⊃实质蕴涵意味着如果为真，则也为真；如果为假，则对没有任何影响。可能意味着同一样的意思（这个符号也可以指示函数的域和陪域；参见数学符号表）。可能意味着同一样的意思（这个符号也可以指示超集）。为真，但 不保证成立(因为可以是)。蕴涵；如果.. 那么命题逻辑⇔↔ 实质等价意味着如果为真则为真，和如果为假则 为假。当且仅当命题逻辑¬˜ 逻辑否定陈述为真，当且仅当为假。穿过其他算符的斜线同于在它前面放置的 ""。非命题逻辑∧•&逻辑合取如果与二者都为真，则陈述为真；否则为假。当是自然数的时候。与;且命题逻辑∨+ǀ逻辑析取如果或之一为真陈述或两者都为真陈述，则为真；如果二者都为假，则陈述为假。当是自然数的时候。或命题逻辑⊕ ⊻ 异或  陈述为真，在要么要么但不是二者为真的时候为真。意思相同。总是真，总是假。xor命题逻辑, 布尔代数∀ 全称量词意味着所有的都使都为真。对于所有；对于任何；对于每个谓词逻辑∃ 存在量词意味着有至少一个使为真。是偶数。存在着谓词逻辑∃! 唯一量词意味着精确的有一个使为真。精确的存在一个谓词逻辑:=≡:⇔ 定义或意味着被定义为的另一个名字（但要注意也可以意味着其他东西，比如恆

等）。意味着被定义为逻辑等价于。被定义为所有地方( ) 优先组合优先进行括号内的运算。, 而  所有地方 ├  推论意味着推导自。推论或推导命题逻辑, 谓词逻辑L 必然性意味着如果不可能，为假。必然的模态逻辑M 可能性意味着如果可能，为真，不管实际上是真是假。可能的模态逻辑

 参见 

 数学符号表
 Help:数学公式


Category:數學表示法
Category:数学符号
Category:标记法
Category:術語列表