A. x（Px→ØSx）B.Ø$x（Px∧Sx）C. x（ØPx∨ØSx）D.$xØ（Sx→Px）下列公式与 ……

单项选择题下列命题能表明用全称量词可以定义存在量词的是（）

A.对任意公式A "xA 与Ø$xØA 逻辑等值。
B.对任意公式A $xA 与Ø"xØA 逻辑等值。
C.对任意公式A Ø"xA 与$xØA 逻辑等值。
D.对任意公式A "xØA 与Ø$xA 逻辑等值。

单项选择题“并非每个人都是父母”翻译为一阶公式最佳的是（）

A.Ø"x（Hx→"y（Hy→Fxy∨Mxy））
B.Ø"x（Hx→$y（Hy∧（Fxy∨Mxy）））
C.Ø"x（Hx→$y（Hy∧（Fxy∧Mxy）））
D.Ø"x（Hx→"y（Hy→Fxy∧Mxy））

多项选择题取个体域为整数集。下列解释能使公式 x y（Rxy→Ryx）为真的有（）

A.R 表示“＜”关系
B.R 表示“≤”关系
C.R 表示“＝”关系
D.R 表示“≠”关系

单项选择题“有的S 不是P”用一阶公式表达正确的有（）

A.$x（Sx∧ØPx）
B."x（Sx→ØPx）
C.$x（Sx→ØPx）
D.Ø"x（Sx∧Px）

单项选择题选择恰当的结论，使得推理形式有效：有的矩形是正方形，所有平行四边形都不是梯形，所有矩形都是平行四边形；所以，（）。

A.有的正方形不是梯形
B.有的梯形不是正方形
C.所有的正方形都不是梯形
D.所有的梯形都不是正方形