简答题

证明下列推理是有效的：
前提：每个非文科一年级学生都有辅导员；
          小王是一年级学生；
          小王是理科生；
          凡小王的辅导员都是理科生；
          所有理科生都不是文科生。
结论：至少有一个不是文科生的铺导员。

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

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