《逻辑学基础教程》课件_7第七章 词项逻辑的现代形式——谓词逻辑初步.pptxVIP

第七章词项逻辑的现代形式

——谓词逻辑初步;第一节直言命题的内部结构

——一元谓词逻辑的基本知识;一、个体词与谓词;【例1】9是自然数。

“9”是个体词，“是自然数”是一个谓词。

可记为：F（a）读作：个体a具有性质F。

【例2】小王和小李是朋友。

“小王”和“小李”是个体词；“……和……是朋友”是一个谓词。

可记作：R(a,b)读作：个体a和b有关系R。

【例3】天津位于北京和济南之间。

“天津”“北京”“济南”是个体词，“……位于……和……之间”是一个谓词。

可记作：Q（a,b,c)，读作：个体a,b,c有关系Q.

;指称个体性质的谓词是一元谓词，指称两个个体之间关系的谓词是二元谓词；一般地，指称n（n≥2）个个体之间关系的谓词就是n元谓词。;二、量词、约束变元和自由变元;量词可分为全称量词和存在量词：

全称量词：指称某个体域中的任何个体或所有个体的词项。

语词形式：一切、所有、凡、任何（一个）、每一个

可用符号记作：?

存在量词：指称某个体域中至少有一个个体存在的量词。

语词形式：有的、某些、某个、（至少）有一个、（至少）存在（一个）

可用符号记作：??

;包含一元谓词的简单命题（即传统逻辑学所说的直言命题）的符号化：

①全称命题的符号化：

【例1】任何事物都是发展变化的。

用全称量词?表示“任何”

用一元谓词F表示“是发展变化的”

用D表示所有具体事物构成的个体域

用x表示D中的任意一个事物

该命题可符号化为表达式：(?x)F(x)，

读作：对任何一个事物x而言，x具有性质F。

;【例2】凡商品都有使用价值。

用全称量词?表示“凡”

用一元谓词F、G分别表示“是商品”和“有使用价值”

该命题可符号化为表达式：(?x)(F(x)→G(x))

读作：对任何一个事物x而言，如果x具有性质F，那么x具有性质G。

注意：一般用小写字母x,y,z……表示个体变元，即某一个体域中任意的非特指个体，用a,b,c……表示特定的个体，它们也被称为个体常元。

;②存在命题的符号化：

【例1】有的事物是有生命的。

用存在量词?表示“有的”

用一元谓词F表示“是有生命的”

个体域D是所有具体事物构??的集合

用x表示个体变元

该命题可符号化为表达式：(?x)F(x)，

读作：至少存在一个事物x，它具有性质F。

;【例2】有的金属是液体。

用存在量词?表示“有的”

用一元谓词F、G分别表示“是金属”和“是液体”

该命题可符号化为表达式：(?x)(F(x)∧G(x))

读作：至少存在一个事物x，它具有性质F并且具有性质G。

;约束变元和自由变元;约束变元和自由变元;判断含有两次的谓词表达式中，个体变元是自由的还是约束的：;三、直言命题的谓词表达式;第二节直言命题的推理形式化及其判定

——狭谓词逻辑的基本知识;一、狭谓词推理及其基本的有效式;2.全称命题和存在命题的蕴涵推理

有效式：(?x)(F(x)→F(y))

有效式：F(y)→(?x)F(x)

有效式(?x)(F(x)→(?x)F(x)

;二、直言命题推理有效式的判定;2.形式判定规则

规则1：~?（并非所有）应等值地换为?~（有非）；~?（没有）应等值地换为?~（所有不）

规则2：前提中有?命题，结论为?命题的推理无效。

规则3：如果结论从两个前提推出，则至少有一前提为?命题，否则无效。;【例1】试判定矛盾关系推理SAP→SOP的有效性。

解：首先，将SAP→SOP符号化为：

①?（S→P)→~?(S∧~P)

其次，利用规则1，将①换成②，并用归谬赋值法对其进行判定：

②?（S→P)→?~(S∧~P)

TTTFFTTTF

【例2】试判定差等关系推理SIP→SAP的有效性。

解：将SIP→SAP符号化为：?(S∧P)→?（S→P)

根据规则2，可判定差等关系推理SIP→SAP是无效的。

;【例3】试判定换质法推理SAP→SEP的有效性。

解：将SAP→SEP符号化，并用归谬赋值法对其进行判定：

?（S→P)→?(S→~~P)

TTTFTFFTF

其中P出现赋值矛盾，故可判定换质法推理SAP→SEP是有效的。

【例4】试判定换位法推理SOP→POS的有效性。

解：将SOP→POS符号化，并用归谬赋值法对其进行判定：

?(S∧~P)→?（P∧~S)

TTTFFFFFT

赋值无矛盾，故可判定换位法推理SOP→POS是无效的。

;【例5】试判定三段论第一个AAA的有效性。

解：将三段论第一格AAA式MAP∧SAM→SAP符号化，并用归谬赋值法对其进行判定：

?（M→P)∧?(S→M)→?(S→P)

TT