离散数学课件22章节.pdfVIP

2.2 命题逻辑等值演算 内容提要内容提要: 内容提要内容提要 等值式与基本等值式等值式与基本等值式 等值式与基本等值式等值式与基本等值式 联结词完备集( 自学) 基本要求基本要求: 基本要求基本要求 熟练运用熟练运用基本等值式及置换规则进行基本等值式及置换规则进行等值演算等值演算 熟练运用熟练运用基本等值式及置换规则进行基本等值式及置换规则进行等值演算等值演算 2.2.1 等值式与等值演算 本节重点本节重点、难点、难点 （加（加**号表示号表示）） 本节重点本节重点、、难点难点 （（加加**号表示号表示）） 基本概念基本概念 基本概念基本概念 等值式等值式，， 基本等值式基本等值式，， 等值式等值式，， 基本等值式基本等值式，， 基本理论基本理论 基本理论基本理论 置换规则置换规则 置换规则置换规则 基本问题基本问题 基本问题基本问题 **等值演算等值演算(用等值演算法验证等值式用等值演算法验证等值式) **等值演算等值演算 用等值演算法验证等值式用等值演算法验证等值式 用等值演算判断命题公式的类型用等值演算判断命题公式的类型 用等值演算判断命题公式的类型用等值演算判断命题公式的类型 一、等值的概