简答题

用假设推理证明下面的定理：
∀x（P（x）→Q（x））⇒（∃xP（x）→∃xQ（x））.

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

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