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

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

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

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

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

多项选择题下列三段论格式中有效的有（）

A.AII-1
B.EAO-2
C.AII-3
D.EAO-4

多项选择题下列三段论规则中正确的有（）

A.结论否定，则恰有一个前提否定。
B.结论特称，则恰有一个前提特称。
C.结论否定，则中项恰好周延一次。
D.结论特称，则中项恰好周延一次。

多项选择题下列推演规则中正确的有（）。

A.从A→B 和¬B 推出¬A
B.从A→B 和¬A 推出¬B
C.从A→B 和B 推出A
D.从A→B 和A 推出B