3.4.2 谓词逻辑推理常见问题