《离散数学》课件-第2章 一阶逻辑.pptx

第2章 一阶逻辑;引例1;引例2;第2章 一阶逻辑;2.1 一阶逻辑基本概念;个体;谓词;谓词;谓词函数;将下列命题用0元谓词符号化;将下列命题用0元谓词符号化;将下列命题用0元谓词符号化;量词;在一阶逻辑中将下面命题符号化;在一阶逻辑中将下面命题符号化;在一阶逻辑中将下面命题符号化;在一阶逻辑中将下面命题符号化;在使用量词时，应注意以下特点;在使用量词时，应注意以下特点;随意颠倒量词顺序可能会改变原命;两个量词的次序变化;2.2 一阶逻辑公式及解释;原子公式;合式公式;个体变项的自由出现与约束出现;约束变元的换名规则;复习思考题5;第2章 一阶逻辑;公式的解释;公式的解释;公式的解释举例[P44例2.7;公式的解释举例[P44例2.7;公式的解释举例[P44例2.7;公式的分类;代换实例;代换实例举例;代换实例举例;2.3 一阶逻辑等值式;一阶逻辑等值式;量词作用域的扩展与收缩等值式;一阶逻辑等值式;例 将下面命题用两种形式符号化;前束范式;公式的前束范式;例: 求下列公式的前束范式;例: 求下列公式的前束范式;例 求下列公式的前束范式;2.4 一阶逻辑推理理论;重要的推理定律;命题逻辑的推理规则;有关量词的推理规则;有关量词的推理规则;构造推理证明举例;构造推理证明举例;构造推理证明举例;作业 6;P32. 5(3);P32. 5(7);P32. 6;P33. 7 判断命题公式的;P33. 7 判断命题公式的类;P33. 7 判断命题公式的类;P33. 7 判断命题公式的类;P33：11;在一阶逻辑中将下面命题符号化;在一阶逻辑中将下面命题符号化;第2章 一阶逻辑;2.4 一阶逻辑推理理论;命题逻辑的推理规则;有关量词的推理规则;构造推理证明举例;构造推理证明举例;构造推理证明举例;构造推理证明举例;构造推理证明——附加前提证明法;构造推理证明举例