14 谓词公式的推理演算2-量词规则
发布人