单项选择题
“有的S 不是P”用一阶公式表达正确的有（）
A.$x（Sx∧ØPx）B."x（Sx→ØPx）C.$x（Sx→ØPx）D.Ø"x（Sx∧Px）
单项选择题 选择恰当的结论，使得推理形式有效：有的矩形是正方形，所有平行四边形都不是梯形，所有矩形都是平行四边形；所以，（）。
多项选择题 下列三段论格式中有效的有（）
多项选择题 下列三段论规则中正确的有（）
