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