离散数学第二章.pptVIP

同命题逻辑一样,由简单命题及连接词可构成复合命题. 实际中,数学公式不必翻译,直接引用即可. 例如。。。 讨论的方法与命题逻辑类似。首先我们对原子命题进一步分解,并分别符号化.建立起符号系统。 是否将命题分解谓词和个体就够了?就能表达一切判断?有些命题仅分解为个体和谓词两部分还不够. 例如:。。。 这些都是一元谓词,但个体却不是个体域中的一个特定个体,而是个体域中的一些或全部 成为量词.量词的不同也会影响到命题的真值. 因此也必须反映在谓词表达式中. 量词的不同也会影响到命题的真值. 因此也必须反映在谓词表达式中. 下面举例说明 前面讨论的例子中,谓词的个体域是预先指定的,如果不指定个体域,即在全总论域,命题该如何表示呢? 本节重点掌握的概念: 个体，谓词, 量词, 个体域。 本节重点掌握的方法: 命题符号化 回顾上节的内容: 1.个体和谓词: 在谓词逻辑中原子命题被分为两部分,个体和谓词,分别对应句中的主语和谓语, 2..谓词的表示: 每个命题有一个谓词和若干个体组成,由于当谓词确定后,命题的真值依赖个体,因此采用函数的记法表示谓词.我们用小写字母表示个体, 用大写字母表示谓词, P(x1,x2,...xn)称为命题函数,但通常简称谓词.自变量的取值范围称为个体域D 3.量词:当句子的主语是泛指的时候,必须引入量词符号;全称和存在 4