本节提要 问题1：如何基于命题逻辑进行推理？ 问题2：什么是（一阶）谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？本节提要 问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？