keyword.docVIP

set：集合 subset：子集 representation：表示 sensible： 有意义的 empty set：空集 Venn diagram：文氏图 contain(in)：包含（于） universal set：全集 finite (infinite) set：有限（无限）集 cardinality：基数，势 power set：幂集 operation on sets：集合运算 disjoint sets： 不相交集 intersection：交 union： 并 complement of B with respect to A：A与B的差集 symmetric difference：对称差 commutative： 可交换的 associative：可结合的 distributive：可分配的 idempotent：等幂的 de Morgan’s laws：德摩根律 inclusion-exclusion principle：容斥原理 sequence：序列 recursive：递归 explicit： 显式的 matrix：矩阵 square matrix：方阵 row：行 column：列 Boolean matrix：布尔矩阵 join：并 meet：交 Boolean product：布尔乘积 binary operation：二元运算 unary operation：一元运算 statement, proposition：命题 logical connective：命题联结词 compound statement：复合命题 propositional variable：命题变元 negation：否定（式） truth table：真值表 conjunction：合取 disjunction：析取 quantifier：量词 universal quantification：全称量词化 propositional function：命题公式 predicate：谓词 existential quantification：存在量词化 converse：逆命题 conditional statement, implication：条件式，蕴涵式 consequent, conclusion：结论，后件 contrapositive：逆否命题 hypothesis： 假设，前提，前件 biconditional, equivalence：双条件式，等价 logically equivalent：（逻辑）等价的 contingency：可满足式 tautology：永真(重言)式 contradiction, absurdity：永假(矛盾)式 rules of reference：推理规则 indirect method：间接证明法 proof by contradiction：反证法 relation：关系 digraph：有向图 ordered pair：有序对，序偶 product set, Caretesian set：叉积，笛 partition, quotient set：划分，商集 domain：定义域 range：值域 R-relative set：R相关集 vertex(vertices)：结点，顶点 edge：边 in-degree：入度 out-degree：出度 path：通路，路径 cycle：回路 connectivity relation：连通性关系 reachability relation：可达性关系 composition：复合 reflexive：自反的 irreflexive：反自反的 empty relation：空关系 symmetric：对称的 asymmetric：非对称的 antisymmetric：反对称的 graph：无向图 undirected edge：无向边 adjacent vertices：邻接结点 connected：连通的 transitive：传递的 equivalent relation：等价关系 equivalence class：等价类 complementary relation：补关系 inverse：逆关系 closure：闭包 symmetric closure：对称闭包 reflexive closure：自反闭包 composition：关系的复合 transitive closure：传递闭包 Warshal’s algorithm：Warshall算法 Boolean function：布尔函数 order relation：序关