离散数学第二章-公开课件（精选）.pptVIP

实际中,数学公式不必翻译,直接引用即可. 例如。。。 讨论的方法与命题逻辑类似。首先我们对原子命题进一步分解,并分别符号化.建立起符号系统。 讨论的方法与命题逻辑类似。首先我们对原子命题进一步分解,并分别符号化.建立起符号系统。 本节重点掌握的概念: 谓词演算的等价式,蕴含式; 前束范式. 本节重点掌握的方法: 证明等价式,求前束合取范式,析取范式. 本节重点掌握的概念: 推理规则 本节重点掌握的方法: 推理的形式证明方法 量词的不同也会影响到命题的真值. 因此也必须反映在谓词表达式中. 下面举例说明 前面讨论的例子中,谓词的个体域是预先指定的,如果不指定个体域,即在全总论域,命题该如何表示呢? 本节重点掌握的概念: 个体，谓词, 量词, 个体域。 本节重点掌握的方法: 命题符号化 讨论的方法与命题逻辑类似。首先我们对原子命题进一步分解,并分别符号化.建立起符号系统。 回顾上节的内容: 1.个体和谓词: 在谓词逻辑中原子命题被分为两部分,个体和谓词,分别对应句中的主语和谓语, 2..谓词的表示: 每个命题有一个谓词和若干个体组成,由于当谓词确定后,命题的真值依赖个体,因此采用函数的记法表示谓词.我们用小写字母表示个体, 用大写字母表示谓词, P(x1,x2,...xn)称为命题函数,但通常简称谓词.自变量的取值范围称为个体域D 3.量词