简答题

试用假设推理证明下面定理：
∀x（A（x）∧∀xB（x））⇒∀x（A（x）∧B（x））.

试用假设推理证明下面定理： ∃x（A（x）∧B（x））⇒∃x（A（x）∧∃xB（x））. 点击查看答案

xyP（x，y）. 点击查看答案