离散数学第三章谓词演算基础-自由变元和约束变元

- 第三章 谓词演算基础 - 3.1 谓词与个体3.2 函数与量词3.3 自由变元和约束变元 3.3.1 自由出现和约束出现 3.3.2 改名和代入3.4