离散数学(2.4变元的约束).ppt

* * 离散数学(Discrete Mathematics) * 第二章 谓词逻辑（Predicate Logic） 2.4变元的约束(Bound of variable) 2.1谓词的概念与表示(Predicate and its expression) 2.2命题函数与量词(Propositional functions Quantifiers) 2.3谓词公式与翻译(Predicate formulae) 2.4变元的约束(Bound of variable) 2.5谓词演算的等价式与蕴含式(Equivalences implications of predicate calculus) 2.6前束范式(Prenex normal form) 2.7谓词演算的推理理论(Inference theory of predicate calculus) * 第二章 谓词逻辑（Predicate Logic） 2.4变元的约束(Bound of variable) 2.4变元的约束(Bound of variable) 2.4.1变元的约束 2.4.2 约束变元的换名与自由变元的代入 * 第二章 谓词逻辑（Predicate Logic） 2.4变元的约束(Bound of variable) 2.4.1变元的约束 (Bound of