问答题

简答题

试用假设推理证明下面定理:
∃x(A(x)∧B(x))⇒∃x(A(x)∧∃xB(x)).

【参考答案】

热门 试题

问答题
xyP(x,y).
问答题
xyP(x,y).