离散数学符号比较多,当然了小编是不会这么高深的数学知识,其实小编还是挺羡慕那些数学能力强的同学的.好的数学知识可以应用到很多地方. 
    ├ 断定符（公式在 L 中可证）
    ╞ 满足符（公式在 E上有效，公式在 E上可满足）
    ┐命题的 “非”运算
    ∧ 命题的 “合取 ”（“与”）运算
    ∨ 命题的 “析取 ”（“或”，“可兼或 ”）运算
    → 命题的 “条件 ”运算
    A<=>B 命题 A 与 B 等价关系
    A=>B 命题 A 与 B 的蕴涵关系
    A* 公式 A 的对偶公式
    wff 合式公式
    iff 当且仅当
    ↑ 命题的 “与非 ” 运算（ “与非门 ” ）
    ↓ 命题的 “或非 ”运算（ “或非门 ” ）
    □模态词 “必然 ”
    ◇ 模态词 “可能 ”
    φ 空集
    ∈ 属于（ ??不属于）
    P（A） 集合 A 的幂集
    |A| 集合 A 的点数
    R^2=R○R [R^n=R^(n-1)○R] 关系 R 的“复合 ”
    ∪ 集合的并运算
    ∩集合的交运算
    - （～） 集合的差运算
    〡 限制
    [X](右下角 R) 集合关于关系 R 的等价类
    A/ R 集合 A 上关于 R 的商集
    [a] 元素 a 产生的循环群
    I (i 大写 ) 环，理想
    Z/(n) 模 n 的同余类集合
    r(R) 关系 R 的自反闭包
    s(R) 关系 的对称闭包
    CP 命题演绎的定理（ CP 规则）
    EG 存在推广规则（存在量词引入规则）
    ES 存在量词特指规则（存在量词消去规则）
    UG 全称推广规则（全称量词引入规则）
    US 全称特指规则（全称量词消去规则）
    R 关系
    r 相容关系
    R○S 关系 与关系 的复合
    domf 函数 的定义域（前域）
    ranf 函数 的值域
    f:X →Y f是 X 到 Y的函数
    GCD(x,y) x,y最大公约数
    LCM(x,y) x,y最小公倍数
    aH(Ha) H 关于 a 的左（右）陪集
    Ker(f) 同态映射 f 的核（或称 f 同态核）
    [1，n] 1 到 n 的整数集合
    d(u,v) 点 u 与点 v 间的距离
    d(v) 点 v 的度数
    G=(V,E) 点集为 V，边集为 E的图
    W(G) 图 G 的连通分支数
    k(G) 图 G 的点连通度
    △（ G) 图 G 的最大点度
    A(G) 图 G 的邻接矩阵
    P(G) 图 G 的可达矩阵
    M(G) 图 G 的关联矩阵
    C 复数集
    N 自然数集（包含 0 在内）
    N* 正自然数集
    P 素数集
    Q 有理数集
    R 实数集
    Z 整数集
    Set 集范畴
    Top 拓扑空间范畴
    Ab 交换群范畴
    Grp 群范畴
    Mon 单元半群范畴
    Ring 有单位元的（结合）环范畴
    Rng 环范畴
    CRng 交换环范畴
    R-mod 环 R 的左模范畴
    mod-R 环 R 的右模范畴
    Field 域范畴
    Poset 偏序集范畴
    

{{title}}

(温馨提示:单选会自动复制单个符号)

?换一批?

标签：