第三章 谓词逻辑
学习目标
1、理解个体词、谓词、量词得得概念,理解个体变元的个体域的概念,理解量词的辖域。
分析句子 ”x大于3“,其中有两部分,一是句子的主语x,这是一个变量,称为个体词; 二是谓语部分”大于30“,他表示主语的某一性质,称为谓词。可以用P(x)表示句子”x大于3“,其中P表示的是性质,x表示的是变量。
命题中,个体词是指所研究对象中可以独立存在的具体的或抽象的客体,既可以使
写的英文字母 α,b,c,…等来表示;当它表示抽象或泛指的个体时称为个体变项,也称
个体变元或个体变量,多用小写的英文字母 x,y,z,…等来表示。个体变项的取值范围
为个体域,或称论域。论域是个集合,既可以是有穷集合,也可以是无穷集合。包含字
宙中所有事物的论域称为全总个体域。如果没有特别指明某个论域,则隐含所指是在全
总个体域中进行讨论。
定义1:
由一个谓词、一些个体变量组成的表达式称为谓词变项或命题函数。
命题函数不是命题,只有命题函数中的变元都取为特定具体的个体时,才是确定的命题。
命题函数中,表示数量的次称为量词,可以使用量词来表示个体常项和与变项之间的数量关系,即对命题函数进行量化。
量词分为两种,一种是全称量词,二是存在量词
在数学语句中,经常会断定某一性质对变量在某一特定域内的所有值为真,这一特定域为论域,这样的语句用全称量词表示。
定理2:
P(x)的全称量化是命题“P(x)对 x在其论域的所有值为真”。符号∀xP(x)表示 P(x)的全称量化,其中∀称为全称量词。
P(x)的存在量化是命题“论域中存在一个元素×使 P(x)为真”。符号∃xP(x)表示 P(x)的存在量化,其中∃称为存在量词。