离散数学____第二章_谓词逻辑(很清晰)解释.ppt

第一章 内容回顾? 1．命题的概念、表示方法；联结词的逻辑意义。 2．命题公式的递归定义，自然语言翻译成命题公式。 3．真值表的构造、命题公式等价的概念。 4．重言式与蕴含式的定义、逻辑意义，逻辑等价与逻辑蕴含的意义和证明方法。常用的逻辑等价公式和逻辑蕴含公式。 5．命题公式的对偶式、合取范式、析取范式、主合取范式、主析取范式。小项、大项。任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 6．命题逻辑的推理理论，主要的推理方法：真值表法、直接证明法、间接证明法。 第二章主要内容 谓词逻辑的引入 2.1 谓词的概念与表示 2.2 命题函数与量词 2.3 谓词公式与翻译 2.4 变元的约束 2.5 谓词演算的等价与蕴含式 2.6 前束范式 2.7 谓词演算的推理理论 小结 习题 本章学习要求 谓词逻辑的引入 命题是具有真假意义的陈述句。 从语法上分析，这种句子一般有主语和谓语。 如：“我是大学生”，“7是质数”。 主语是句子叙述的主体，指出句子要表达、描述的人或物； 谓语是用来说明主语做了什么或处在什么状态。 谓词逻辑的引入 问题的提出： 在命题逻辑中，主要研究命题和命题演算，其基本组成单位是原子命题，一个原子命题只用一个字母表示，而且不对原子命题中的句子成分进行分解。这样有一些逻辑问题无法解决。如部分