一阶逻辑下的推理定律1,证法2
发布人