首页
设R、S都是A上的二元关系,证明:dom(R∪S)=dom(R)∪dom(S)。
2024-08-03 23:50:05
离散数学(02324)
1
设R、S都是A上的二元关系,证明:dom(R∪S)=dom(R)∪dom(S)。
【正确答案】:证明:∀
∈R∪S
⟺ (
∈R)⋁(
∈S)
⟺ (x∈dom(R))⋁(x∈dom(S))
⟺ x∈(dom(R)∪dom(S))
而∀
∈R∪S⟺ x∈dom(R∪S)
综合上述,可知
dom(R∪S)= dom(R)∪dom(S)
上一篇:
把以下各式化为前束范式。(1)∀x(P(x)→∃yQ(x,y));(2)∀x (¬∃yP(x,y))→(∃zQ(z)→R(x))
下一篇:
证明下列谓词公式为永真式:∀y(A(y)→∃xA(x))。