本节提要 问题1:什么是(一阶)谓词逻辑? 命题逻辑+谓词+量词;量化表达式 问题2:如何进行推理?本节提要 问题1：什么是(一阶)谓词逻辑？ - 命题逻辑+谓词+量词；量化表达式 问题2：如何进行推理？