离散数学课件theeighthcourse学习课件.pptVIP

5．定义：偏序集A, ≤ ，若A是一个链，则A是全序集或线性集。 即A中任何元素x ，y有关系或x ≤ y 或 y ≤ x 3-11　相容关系 P139 (4).C={A1,A2, ,An}为A的覆盖， C是相容关系，何时为等价关系？ 传递性即可 若 x , y ∈ R y , z ∈ R 则 3-11　相容关系 就不可能有这种情况 ∴ 当此覆盖是A的划分时，R为等价关系。 3-11　相容关系 （3）.若S是自反的，则S S=S，其逆为真吗？ 证：首先由（2）S传递，则（S S） S 要证S （S S） 用自反性， x,y S,而x,x S 所以x,x x,y=x,y S S 所以x,y S S S (S S) 从而 S=（S S） 其逆不真 如：S={1,1} X={1,2,3}. 3-11　相容关系 考试情况：对基本概念重视不够，掌握基本方法，理论。 （A-B）-C=（A-C）-（B-C） R∧（P→Q）∧（Q→R）→P （X） ∵R为T， Q→R为T 时 ： Q可为F→P可为F P→Q为T P→Q的合取式： ┐P∨Q