第四章谓词逻辑一(词项逻辑)

4
一、个体词、谓词、量词的概念


个体常项：具体的客体，用a, b, c表示。
个体变项：抽象或泛指的事物，用x, y, z表示。 例：x高于y。x，y都是个体变项。 个体域（论域）: 个体变项的取值范围。

有限个体域 即个体域是 有限集合
无限个体域 即个体域是 无穷集合
全总个体域 宇宙间一切 事物组成。
“ 1”, 则 L(2,1) 就是命题“ 21” 。此时二元谓
词变成0元谓词。
同理：一元谓词F(x)中的x代以个体“小王”， 则F(小王)就是命题“小王是女孩”。也是0
元谓词。
谓词逻辑包括命题逻辑。
9
一、个体词、谓词、量词的概念
例1：用0元谓词将下述命题符号化。 (1) 墨西哥位于南美洲 在命题逻辑中, 设 p: 墨西哥位于南美洲 符号化为 p, 该命题为真命题。 在一阶逻辑中, 设 a：墨西哥； F(x)：x位于南美洲； 符号化为F(a)
35
4.
二、个体变项的自由出现与约束出现
例1：说明以下各式量词的辖域与变元的约 束情况：
（1） x(F(x,y)G(x,z))
A=(F(x,y)G(x,z))为的辖域， x为指导变元, A中x的两次出现均为约 束出现，y与z均为自由出现。
36
二、个体变项的自由出现与约束出现
（ 2 ）xy( P( x, y) Q( x, y )) xP( x, y)
（ 2 ）x( F ( x, y) yG( x, y, z ))
x( F ( x, y ) tG( x, t , z ))
或 x( F ( x, w ) yG( x, y, z ))
三、公式的解释
引例：给定公式 A=x(F(x)G(x)) 个体域N, F(x): x>2, G(x): x>1 代入得A = 成真解释

CHAPTER 05
概念的应用与实践
概念在日常生活中的应用
购物决策
在购物时，人们会使用概念来判 断商品的质量、价格、品牌等，
从而做出购买决策。
社交互动
在人际交往中，人们使用概念来 理解他人的言行举止，形成对人
的印象和评价。
信息筛选
在获取信息时，人们会使用概念 来筛选出与自己相关的信息，过
滤掉无关的信息。
概念的外延
总结词
概念所适用的范围或事物集合
详细描述
概念的外延是指概念所适用的范围或事物集合，即具有该概念所反映的本质属性 的事物。一个概念的外延越广泛，说明该概念的应用范围越广泛。
概念的属性
总结词
事物具有的某种特征或性质
详细描述
概念的属性是指事物具有的某种特征或性质。一个概念可能包含多个属性，其中一些属性是本质属性，而另一些 是非本质属性。在认识和理解概念时，需要区分本质属性和非本质属性。
二次划分
在子类的基础上，再次进行划分，将 子类划分为更小的类别，以进一步明 确概念的内涵。
概念定义的规则与技巧
避免循环定义
概念的定义不能依赖于该概念本 身，否则会导致无限循环。
考虑实际应用
概念的定义应当考虑实际应用的需 要，符合实践中的认知和运用。
使用实例说明
通过实例来说明概念的定义，有助 于更直观地理解概念的内涵和外延 。
概念在学术研究中的应用
学科研究
在各个学科领域的研究中，学者们通过概念来定义研究对象、构 建理论体系、进行实证分析等。
学术交流
在学术交流中，学者们使用概念来阐述自己的观点、论证自己的结 论，并对他人的观点进行评判。
知识传承
在教育领域，教师通过概念来传授知识，帮助学生理解学科的基本 原理和方法。

谓词逻辑定义谓词逻辑是一种用来描述事物真假性的语言，它的核心是谓词（Predicate）和符号表示法，它可以用来表达自然语言中的复杂概念和描述一些事实及其关系。

谓词逻辑是一种强大的数学模型，可以用来表示我们对自然现象的知识，并且可以推断出未来的情况。

谓词逻辑的发展源自上世纪六十年代，受到欧几里得的哲学思想的启发，以便为数学模型提供更完整的语言。

它发展成为一种用来描述事物的语言，可以用来描述一些事实及其关系，实现机器模拟思维的目的，它主要用于计算机科学领域，其他领域如哲学也有广泛的应用。

谓词逻辑通过谓词（predicates）来描述一般状况和条件，它是一种抽象的数学语言，可以表达自然语言中的复杂概念，以符号表示法来表达一些有关真假性的概念，并通过推断技术来完成其任务。

谓词逻辑由以下几个部分组成：1.尔谓词：它是一些布尔谓词（Boolean predicates），用来描述一般状况和条件，比如P（x），Q（x），R（x）等等。

2.号表示：谓词逻辑使用比较简单的符号表示法，以表达一些有关真假性的概念，比如“&”（且），“”（否定），“∨”（或）等等。

3.词逻辑语句（Logical Sentences）：谓词逻辑语句是谓词逻辑中使用的一种有用结构，它由谓词和符号表示法组成，可以表达一些真假性概念。

4.型：谓词逻辑的模型是一种强大的数学模型，它可以用来描述自然现象的知识，它可以用来表达一些事实及其关系（fact and relationship）。

谓词逻辑的最大优势在于它是一种可以描述一些有关真假性的复杂概念的语言，它不但可以用来表达自然语言中的复杂概念，也可以用来描述一些事实及其关系，实现机器模拟思维的目的，从而实现机器智能。

谓词逻辑使用比较简单的符号表示法，可以表达一些有关真假性的概念，可以用来计算机科学中的解释和推理，可以用来描述一些事实及其关系，实现机器模拟思维的目的，也可以用于哲学等其他领域。

12
传统逻辑
现代逻辑
2016年6月2日星期四
第一章 绪论
第二节 逻辑学的性质及作用
逻辑学的性质
全人类性 各民族的语言所表达的思维形式，特别是推理形式是 相同的，推出关系遵循的规律是相同的。这种性质决 定了逻辑学具有全人类性。
任何学科都必须使用逻辑学，逻辑学是一门基础性学 科。二十世纪八十年代，联合国教科文组织把逻辑学 列为七大基础学科之一。 逻辑学提供的关于词项、命题、推理、论辩、逻辑方 法的理论，为人们学习、理解、掌握和研究其他科学 提供了有力工具。 逻辑学研究思维的形式结构，具有很强的规范性。逻 辑规律或规则，是人们进行正确思维和成功交际必须 遵循的规范。
2016年6月2日星期四 11
逻辑的发展阶段
按逻辑学发展的历程，逻辑可分为传统逻辑和现代逻辑两大阶段。 传统逻辑包括传统演绎逻辑和传统归纳逻辑。其中传 统演绎逻辑主要指古希腊亚里士多德创立的词项逻辑 和斯多葛派奠定的命题逻辑；而传统归纳逻辑是英国 培根创建的，主要研究了实验科学中运用的一些推理 和方法。 现代逻辑指从布尔开始到如今以数理逻辑为主的逻辑 理论,也分为现代演绎逻辑和现代归纳逻辑。 现代演绎逻辑以命题逻辑、谓词逻辑为基础内容，包 括集合论、证明论、递归论、模型论，也包括多值逻 辑、模态逻辑等非标准逻辑，还包括问题逻辑、规范 逻辑等应用逻辑。 现代归纳逻辑以两个演算和概率论为工具，进行形式 化的处理，对归纳结论的概然性作出精确计算，求得 前提对结论的支持强度的概率。
莎士比亚在《威尼斯商人》里说，有一位品貌出众的富家姑娘叫鲍西 霞，许多王孙公子为之倾倒，但她遵循已故父亲的遗嘱，必须猜匣为婚。 鲍西霞身边有金、银、铅三只匣子，其中只有一只匣子里放着她的肖像， 这三只匣上面各刻着一句话：