数理逻辑-谓词演算

本文介绍谓词演算的相关知识： 谓词 量词、合式公式 解释 可满足性 逻辑蕴涵、逻辑等价 替换定理 有效性、代入 代入定理、前束范式(PNF)、谓词演算的形式推理。