多项选择题
设A 是谓词逻辑公式。下列说法正确的有（）
A.若A 是普遍有效的，则不存在解释使得ØA 在其中为真。B.若A 不是普遍有效的，则存在解释使得ØA 在其中为真。C.若不存在解释使得ØA 在其中为真，则A 是普遍有效的。D.若存在解释使得ØA 在其中为真，则A 不是普遍有效的。
多项选择题 下列公式与"x（Sx→ØPx）真值条件相同的有（）
单项选择题 下列命题能表明用全称量词可以定义存在量词的是（）
单项选择题 “并非每个人都是父母”翻译为一阶公式最佳的是（）
