从PAM和SEM可以推出（）
BE
暂无解析
“(p→q)∧(r→s)∧(p∨r)├q∨s”这一推理式是（）
“某体操队有些队员来自广西”，这个判断的对象是（）
“要么p，要么q”的逻辑含义是（）
由“s必然是p为真”，可推出（）
