问答题
讨论公式∀x∃yF（x，y）→∃y∀xF（x，y）的类型。
这个公式是错误的。
问答题 化简下式：（A ∧B ∧C）∨（¬A ∧B ∧C）。
问答题 判定公式P →Q 与¬P ∨Q 是否等值？
问答题 当n，m 满足什么条件时，存在单射，且有多少个不同的单射？
