简答题

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

用假设推理证明下面的定理： xyP（x，y）yxP（x，y）. 点击查看答案

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