第六章谓词演算 教学重点与要点 >性质命题内部结构的现代谓词分析 关系命题内部结构的现代谓词分析 元谓词演算的自然演绎推证分析 二元谓词演算的自然演绎推证分析第六章 谓词演算 教学重点与要点 ➢ 性质命题内部结构的现代谓词分析 ➢ 关系命题内部结构的现代谓词分析 ➢ 一元谓词演算的自然演绎推证分析 ➢ 二元谓词演算的自然演绎推证分析