简答题

用假设推理证明下面的定理：
∃x∀yP（x，y）⇒∀y∃xP（x，y）.

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

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