1、1离离 散散 数数 学学Discrete MathematicsDiscrete Mathematics 计算机与信息科学系计算机与信息科学系计算机与信息科学系Department of Computer and Information ScienceDepartment of Computer and Information ScienceCopyright 离散数学离散数学精品课程小组精品课程小组 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五
2、章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-2 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-3第一节 一阶逻辑等值式与置换规则 Department of Computer and Information Department of Computer and Infor
3、mation ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-4 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-5 Department of Computer and Information Department of Computer
4、 and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-6 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-7 Department of Computer and Information Department o
5、f Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-8 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-9第二节 一阶逻辑前束范式 Department of Computer and In
6、formation Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-10 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-11 Department of Com
7、puter and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-12 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-13 Depar
8、tment of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-14第三节 一阶逻辑的推理理论 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离
9、散数学精品课程小组精品课程小组1-15 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-16 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Cop
10、yright 离散数学离散数学精品课程小组精品课程小组1-17 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-18 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶
11、逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-19 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-20 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一
12、阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-21 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-22 Department of Computer and Information Department of Computer and Information ScienceSci
13、ence第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-23 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-24 Department of Computer and Information Department of Computer and Informatio
14、n ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-25 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-26 Department of Computer and Information Department of Computer an
15、d Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-27第五章 习题课 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-28 Department of Computer and Information Depart
16、ment of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-29 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-30 Department of Computer and Inform
17、ation Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-31 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-32 Department of Compute
18、r and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-33解 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-34 Department of Computer and Information Department of Computer and Information ScienceScience第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理Copyright 离散数学离散数学精品课程小组精品课程小组1-35 证明: