3.4.3 谓词逻辑推理的应用