摘要：关系作为集合的运算： 关系的交：R ∩ S={(x,y)|x∈∈A, y∈∈A,xRy且xSy} 关系的并：R∪ S={(x,y)| x∈∈A, y∈∈A ,xRy或xSy} 关系的差：R - S={(x,y)| x∈∈A, y∈∈A ,xRy并且xS/y} 逆关系：R−1R−1 ={(y, x)| 阅读全文

摘要：集合的幂与笛卡尔积： 幂集的性质： 2. 3. 有序n元组(ordered n-tuple)：(a1,a2 ,… ,an) 有序对(ordered pairs)：当n=2 时，将其称作有序对，也称作序偶，或有序二元组 有序对特点： 若a≠≠b,则（a，b）≠≠（b，a） 两个有序对(a,b)和(c, 阅读全文

摘要：集合的运算及性质： 并集(Union)： 交集(Intersection)： 差集(Difference)： 余集(Complement)： 环和（对称差）： 环积： 集合的算律： 集合的证明题： 阅读全文

摘要：1. 关于命题的公式 (1) 双重否定律 A⟺┐┐AA⟺⌝⌝A (2) 幂等律 A⟺A∨AA⟺A∧AA⟺A∨AA⟺A∧A (3) 交换律 A∨B⟺B∨AA∧B⟺B∧AA∨B⟺B∨AA∧B⟺B∧A (4) 结合律 (A∨B)∨C⟺A∨(B∨C)(A∨B)∨C⟺A∨(B∨C) (A∧B)∧C⟺A∧(B∧ 阅读全文