第五章一阶逻辑等值演算与推理课件.ppt

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 证明：