离散数学课件第任四章二元关系习题.pptVIP

ⅰ)证自反性，即证对(?x)(x∈A→x,x∈ R∩(AXA))为真，而 (?x)(x∈A→x,x∈ R∩(AXA)) ＝(?x)(?x∈A∨x,x∈ R∩(AXA)) ＝(?x)(?x∈A∨(x,x∈ R∧x,x∈ (AXA))) ＝(?x)((?x∈A∨x,x∈R) ∧(?x∈A∨x,x∈(AXA))) ＝ (?x)(?x∈A∨x,x∈R) ∧ (?x)(?x∈A∨x,x∈(AXA)) （全称量词对∧的可分配性．） ＝ (?x)(x∈A→x,x∈R) ∧ (?x)(x∈A→x,x∈(AXA)) ＝T∧T=T自反性得证． * ⅱ)证反对称性即证对 (?x)(?y)(x,y∈A∧x,y∈R∩(AXA)∧ y,x∈R∩(AXA) →x=y)为真 上式= (?x)(?y)(?(x,y∈A∧x,y∈R∩(AXA)∧ y,x∈R∩(AXA))∨x=y) =(?x)(?y)(?(x,y∈A)∨?x,y∈R∨?x,y∈ (AXA)∨?y,x∈R ∨?y,x∈(AXA)∨x=y) =(?x)(?y)(( ?(x,y∈A)∨?x,y∈R∨ ?y,x∈R∨x=y)∨(?(x,y∈A)∨?x,y∈(AXA) ∨ ?y,x∈(AXA)∨x=y)) 而上式可由(?x)(?y)(( ?(x,y∈A)∨?x,y∈R∨ ?y,x∈R∨x=y) ∨ (?x)(?y)((?(x,y∈A)∨?x,y∈(AX