由直言推理规则“在前提中不周延的项，在结论中不得周延”，可以推出（）
BC
暂无解析
有效的三段论推理形式有（）
“要么p，要么q”的逻辑含义是（）
由“s必然是p为真”，可推出（）
“(p→q)∧(r→s)∧(p∨r)├q∨s”这一推理式是（）
如果同时肯定p→q和q∨s，那么（）
