多项选择题
取个体域为整数集。下列解释能使公式"x"y（Rxy→Ryx）为真的有（）
A.R 表示“＜”关系B.R 表示“≤”关系C.R 表示“＝”关系D.R 表示“≠”关系
单项选择题 “有的S 不是P”用一阶公式表达正确的有（）
单项选择题 选择恰当的结论，使得推理形式有效：有的矩形是正方形，所有平行四边形都不是梯形，所有矩形都是平行四边形；所以，（）。
多项选择题 下列三段论格式中有效的有（）
