本节提要 问题1:什么是(一阶〕谓词逻辑? 问题2:如何进行推理?本节提要 问题1：什么是(一阶)谓词逻辑？ 问题2：如何进行推理？