单项选择题
下列命题能表明用全称量词可以定义存在量词的是（）
A.对任意公式A "xA 与Ø$xØA 逻辑等值。B.对任意公式A $xA 与Ø"xØA 逻辑等值。C.对任意公式A Ø"xA 与$xØA 逻辑等值。D.对任意公式A "xØA 与Ø$xA 逻辑等值。
单项选择题 “并非每个人都是父母”翻译为一阶公式最佳的是（）
多项选择题 取个体域为整数集。下列解释能使公式"x"y（Rxy→Ryx）为真的有（）
单项选择题 “有的S 不是P”用一阶公式表达正确的有（）
