第一张图片还有第二张图片打勾的题目怎么做?离散数学求解，谢谢，详细过程清楚点谢谢

第16题
因为不方便咐枣写逆关系，下面将符号∼放在前面，而不是顶部。
ρ₁·ρ₂ ⇔ { | x∈A, z∈C，正简碰∃y∈B，使得∈ρ₁ 且<举谈y,z>∈ρ₂}
∼（ρ₁·ρ₂）⇔ { | x∈A, z∈C，∃y∈B，使得∈ρ₁ 且∈ρ₂} ①

∼ρ₁⇔ { | ∈ρ₁}
∼ρ₂⇔ { | ∈ρ₂}
(∼ρ₂)·(∼ρ₁)⇔ { | z∈C, x∈A, ∃y∈B，使得∈∼ρ₂ 且∈∼ρ₁ }
⇔ { | z∈C, x∈A, ∃y∈B，使得∈ρ₁ 且∈ρ₂} ②

由①②，立即得到
∼（ρ₁·ρ₂）⇔(∼ρ₂)·(∼ρ₁)

第35题，用等价关系的定义来证。
为防止混淆，用圆括号()表示ρ₁关系, 尖括号<>表示ρ₂关系
ρ₁是等价关系，则根据ρ₂的定义
⇔存在c使得(a,c)且(c,b)

知道ρ₂满足自反性：
因为存在a使得(a,a)⇔
ρ₂满足对称性：
由 ⇔存在c使得(a,c)且(c,b)
⇔存在c使得(b,c)且(c,a)
⇔
ρ₂满足传递性：
由 ⇔存在c使得(a,c)且(c,b) ⇒ (a,b)
和 ⇔存在d使得(b,d)且(d,c)⇒ (b,c)
得知
存在b使得(a,b)且(b,c)
⇔

能