河海大学离散数学课件第5章一阶逻辑等值演算与推理.pdfVIP

河海大学 《离散数学》 第五章 一阶逻辑等值演算与推理 第一节 一阶逻辑等值式与置换规则 第五章 一阶逻辑等值演算与推理 5-1 一阶逻辑等值式与置换规则 例:在我们班中，并非所有同学都能取得优秀成绩; 令C(x)表示x 是在我们班中的同学，E(x)表示x 能取得优秀成绩， 则命题可符号化为： ((x)(C(x)E(x))) 此命题与 “我们班中存在不能取得优秀成绩的同学”等价， 该命题又可符号化为： (x)(C(x)E(x)) 《离散数学》 第五章 一阶逻辑等值演算与推理 第一节 一阶逻辑等值式与置换规则 【定义1】设A和B是一阶逻辑中任意的两个公式，若AB 是永真式，则称A与B等值，记为AB ，称AB为等值式。 一阶逻辑中的基本等值式: 第一类：由于命题逻辑中的