问答题
试用假设推理证明下面的定理: ∀x∀yP(x,y)→∀y∀xP(x,y).
问答题 试用假设推理证明下面的定理: x(P(x)→Q(x))→(xP(x)→xQ(x)).
问答题 找出ρ是所有等价类。
问答题 证明ρ是等价关系。