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