第三节 二元关系.ppt

第三章 集合与关系 对于从事计算机科学工作的人们来说，集合论是必不可少的基础知识。例如有限状态机、形式语言等都离不开子集、幂集、集合的分类等概念。集合成员表和范式在逻辑设计、定理证明中也都有重要应用。 本部分从集合的直观概念出发，介绍了集合论中的一些基本概念和基本理论，其中包括集合、关系、函数等。 例 证明A-(B∪C)=(A-B)∩(A-C). 证明: 对于?x x ∈ A-(B∪C) ? x ∈ A ∧x ?(B∪C) ? x ∈ A ∧?(x∈B ∨ x∈C) ? x ∈ A ∧(? x∈B ∧ ?x∈C) ? x ∈ A ∧(x ? B ∧ x ? C) ? x ∈ A ∧ x ? B ∧ x ? C ? (x ∈ A ∧ x ? B) ∧ (x ∈ A ∧ x ? C) ? x ∈ A- B ∧ x ∈ A- C ? x ∈( A- B) ∩(A- C) ∴ A-(B∪C)=(A-B)∩(A-C) 练1： 证明A-(B∩C)=(A-B)∪(A-C). 证明: 对于?x x ∈ A-(B ∩ C) ? x ∈ A ∧ x ?(B ∩ C) ? x ∈ A ∧?(x∈B ∧ x∈C) ? x ∈ A ∧ (?x∈B ∨ ?x∈C) ? x ∈ A ∧ (x ? B ∨x ? C) ? (x ∈ A ∧ x ? B) ∨ (x ∈ A ∧ x ? C) ? x ∈ A- B ∨ x ∈ A- C ? x ∈( A- B) ∪ (A- C) ∴ A-(B∩C)=(A-B)∪(A-C) 练2： 证明(A∪B)- C =(A-C)∪(B-C). 证明: 对于?x x ∈ (A∪B)- C ? x ∈ (A∪B) ∧ x ? C ? ( x ∈ A ∨ x∈B )∧ x ? C ? ( x ∈ A ∧ x ? C) ∨(x∈B ∧ x ? C) ? x ∈ A- C ∨ x ∈ B- C ? x ∈( A- B) ∪ (A- C) ∴ (A∪B)- C =(A-C)∪(B-C) 练3： 证明A-B =A∩~B. 证明: 对于?x x ∈ A-B ? x ∈ A ∧x ? B ? x ∈ A ∧x ∈ ~B ? x ∈ A ∩~B ∴ A-B =A ∩~B 注意：此公式提供了一种将相对补运算转换为交运算的重要方法！ 例 证明 A∪(A∩B)=A. 证明: A∪(A∩B) = (A∩E)∪(A∩B) = A∩(E ∪ B) = A∩E = A ∴ A∪(A∩B)=A 练1：证明 A-(B∩C)=(A-B)∪(A-C). 证明: A-(B∩C) = A∩~(B∩C) = A∩(~B∪~C) = (A∩~B)∪(A∩~C) = (A - B)∪(A - C) 练2：证明 (A-B)∪(B-A)=(A∪B)-(A∩B). 证明: (A-B)∪(B-A) = (A∩~B) ∪( B ∩~A) = ((A∩~B)∪B) ∩ ((A∩~B)∪~A) =((A∪B)∩(~B ∪B))∩((A∪~A)∩(~B∪~A)) =((A∪B)∩E)∩(E ∩(~B∪~A)) = (A∪B)∩(~B∪~A) = (A∪B)∩~(B ∩ A) = (A∪B)∩~(A ∩B) = (A∪B) - (A ∩B) 练3：证明 (A-B)-C=(A-C)-(B-C). 证明: (A-B)-C = (A-B) ∩ ~C = (A∩~B) ∩ ~C = A∩(~B ∩ ~C) = A∩(~B ∩ ~C)∪(C ∩~C) = A∩~C ∩(~B ∪C) = (A∩~C) ∩(~B ∪C) = (A∩~C) ∩~(B ∩~ C) = (A-C)∩~(B-C) = (A-C)-(B-C) 练1：C ? A ∧ C ? B ? C ? A ∩ B. 证明1:先证“?” 对于?x x ∈ C ? x ∈ A ∧ x ∈ B (∵ C ? A ∧ C ? B ) ? x ∈ A ∩ B ∴ C ? A ∩ B 再证“? ” 对于?x