简答题

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

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

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