多项选择题
下列公式与"x（Sx→ØPx）真值条件相同的有（）
A."x（Px→ØSx）B.Ø$x（Px∧Sx）C."x（ØPx∨ØSx）D.$xØ（Sx→Px）
单项选择题 下列命题能表明用全称量词可以定义存在量词的是（）
单项选择题 “并非每个人都是父母”翻译为一阶公式最佳的是（）
多项选择题 取个体域为整数集。下列解释能使公式"x"y（Rxy→Ryx）为真的有（）
