从PAM和SEM可以推出（）
BE
暂无解析
表示单独概念的有（）
由“s必然是p为真”，可推出（）
“如果二角对顶，那么二角相等”可变换为等值于它的命题是（）
“(p→q)∧(r→s)∧(p∨r)├q∨s”这一推理式是（）
“中国是人口最多的国家并且是发展中国家”，由此可以得到（）
