问答题
证明下面公式: ∀x(P(x)→Q(x)∧R(x))∧∃x(P(x)∧Q(x))⇒∃x(Q(x)∧R(x)).
问答题 证明下面公式: ∀x(P(x)∨Q(x))⇒∀xP(x)∨∃xQ(x).
问答题 证明下列各式: (a)A⊕A⊕B=B (b)(A-B)⊕B=A∪B (c)C∩(A⊕B)=(C∩A)⊕(C∩B) (d)C∪(AB)=(C∪A)(C∪B)
问答题 设A是有n个元素的有限集,ρ是A上的关系,试证明必存在两个正整数k,t,使得ρk=ρt。