逻辑符号表.docxVIP

数学-逻辑符号关系符号　　符号(Symbol)　意义(Meaning) 　　= 等于 is equal to 　　≠不等于 is not equal to ≈　大约等于≒≡　恒等于或同余　　∽相似 is similar to 　　≌全等 is equal to(especially for triangle ) ?　　 大于 is greater than 　　 小于 is less than 　　≥大于等于（或作≯）is greater than or equal to 　　≤小于等于（或写作≮）is less than or equal to 　　 远远大于号　　 远远小于号?∈属于?不属于?真包含于?真包含?包含于?包含　　∪　并集　　∩　交集?|| 平行 is parallel to ∥⊥垂直　　├断定符（公式在L中可证）　　╞满足符（公式在E上有效，公式在E上可满足）　　┐命题的“非”运算　　∧命题的“合取”（“与”）运算　　∨命题的“析取”（“或”，“可兼或”）运算　　→命题的“条件”运算　　?命题的“双条件”运算的　　A=B 命题A 与B 等价关系　　A=B 命题 A与 B的蕴涵关系　　A* 公式A 的对偶公式　　wff 合式公式　　iff 当且仅当　　↑命题的“与非”运算（“与非门”）　　↓命题的“或非”运算（“或非门”）　　□模态词“必然”　　◇模态词“可能”?R 关系r 相容关系?运算符号＋加号－减号×乘号（或·）÷除号（或／，含分数）：比∪两个集合的并集∩交集П连乘（集合论中的相乘）Σ连加√根号log 对数（或lg，ln）dx 微分∫积分∮曲线积分?性质符号＋正号－负号±正负号| | 绝对值（|x| 绝对值 absolute value of X）结合符号（）小括号［］中括号｛｝大括号省略符号△三角形Rt△直角三角形∠角⊙圆o度|| 平行 is parallel to ∥⊥垂直Sin 正弦Cos 余弦f(x) x的函数lim 极限∵因为∴所以∑总和∏连乘C(r)(n)从n个元素中每次取出r个元素所有不同的组合数幂（A，Ac，Aq，x^n）等。排列组合符号C 组合数CombinationA 排列数Arrangement N 元素的总个数R 参与选择的元素个数! 阶乘，如5！=5×4×3×2×1=120 　　其他符号?全称量词　　?存在量词　　φ空集∞　无穷大π圆周率　　C 复数集　　N 自然数集（包含0在内）　　N* 正自然数集　　P 素数集　　Q 有理数集　　R 实数集　　Z 整数集号名字解说例子读作范畴?→?实质蕴涵 A ? B 意味着如果 A 为真，则 B 也为真；如果 A 为假，则对 B 没有任何影响。→可能意味着同?一样的意思(这个符号也可以指示函数的域和陪域；参见数学符号表)。?可能意味着同?一样的意思(这个符号也可以指示超集)。 x = 2 ? x2 = 4 为真，但 x2 = 4 ? x = 2 不保证成立(因为 x 可以是 ?2)。蕴涵；如果.. 那么命题逻辑?? 实质等价 A ? B 意味着如果 A 为真则 B 为真，和如果 A 为假则 B 为假。 x + 5 = y +2 ? x + 3 = y 当且仅当; iff 命题逻辑??逻辑否定陈述 ?A 为真，当且仅当 A 为假。穿过其他算符的斜线同于在它前面放置的 ?。 ?(?A) ? Ax ≠ y ??(x = y) 非命题逻辑∧? 逻辑合取如果 A 与 B 二者都为真，则陈述 A ∧ B 为真；否则为假。 n 4 ∧ n 2 ? n = 3 当 n 是自然数的时候。与命题逻辑∨+?? 逻辑析取如果 A 或 B之一为真陈述或AB两者都为真陈述，则 A ∨ B 为真；如果二者都为假，则陈述为假。 n ≥ 4 ∨ n ≤ 2 ? n ≠ 3 当 n 是自然数的时候。或命题逻辑⊕?异或陈述 A ⊕ B 为真，在要么 A 要么 B 但不是二者为真的时候为真。A ? B 意思相同。 (?A) ⊕ A 总是真，A ⊕ A 总是假。xor 命题逻辑, 布尔代数?全称量词? x: P(x) 意味着所有的 x 都使 P(x) 都为真。? n ∈ N: n2 ≥ n. 对于所有；对于任何；对于每个谓词逻辑?存在量词? x: P(x) 意味着有至少一个 x 使 P(x) 为真。? n ∈ N: n 是偶数。存在着谓词逻辑?! 唯一量词?! x: P(x) 意味着精确的有一个 x 使 P(x) 为真。?! n ∈ N: n + 5 = 2n. 精确的存在一个谓词逻辑:=≡:?定义 x := y 或 x ≡ y 意味着 x 被定义为 y 的另一个名字(但要注意≡也可以意味着其他东西，比如全等