当前课程知识点：逻辑学概论 > 第八讲 基本命题的构成 > 8.7 谓词的分类 > 8.7 谓词的分类
下面我们要来研究一下谓词
谓词的分类
谓词是什么
大家还记得
就是什么东西怎么样
说明事物情况
说明一种性质
或者说明一种关系的
这个叫谓词
下面请大家看两个句子
两个命题
张三和李四是高中学生
张三和李四是同班同学
这个你拿到语言学里面去分析语法
这两个句子大概是一样的
语法分析基本上是一样的
但是在逻辑学的分析里边
这两个是完全不一样的
我们先看第一个
张三和李四是高中学生
这是一个什么命题
我们说这是一个复合命题
因为我们说
复合命题是里边还包含其他命题的
因为这个命题它包含两个命题
张三是高中学生
并且李四也是高中学生
实际上是两个基本命题合在一起
变成一个复合命题
不过说的时候呢
说得简单一些
你不要说张三是高中学生
李四也是高中学生
我就说张三和李四是高中学生
就可以了
所以张三和李四是高中学生呢
实际上它是一个复合命题
它是包括张三是高中学生
合取李四是高中学生
是这么一个命题
但是下面这个就不一样了
你不能说张三是同班同学
一个人怎么能是同班同学
同班同学一定是谁是谁的同班同学
所以你不能说张三是同班同学
李四也是同班同学
这是不行的
同班同学你至少得说出两个人来
他才能是同班同学
当然另外一种情况
你说我今天来了几个客人
张三是朋友
李四是同班同学
但是这个时候同班同学是
我的同班同学的简称
和这里是不一样的
好 这里我们说同班同学
你至少要说出两个人来
所以你不能拆成是 张三是同班同学
李四也是同班同学
是不行的
所以这是一个基本命题
因为它 你不能再拆
再拆它不是命题了
张三是同班同学这句话是不通的
所以张三和李四怎么样呢
是同班同学
所以这两个命题完全不一样
这个区别就在于什么
区别就是在于 是高中学生
和 是同班同学
这两个谓词完全不同
因为 是高中学生
你只要说出一个人来
那就可以
这个命题就可以成立了
而 是同班同学呢
你只说一个人是不行的
你得说出两个人来
为什么
因为高中学生是一种身份
身份就是一种性质
这个人是什么人呢
高中学生
好 但是同班同学不是身份
同班同学你不能说
我是什么人呢
我是一个同班同学
这话是不通的
同班同学是指两个人
或者更多的人之间的一种关系
所以我们前边说
命题是什么
命题是对于事物及其情况
我们总是不厌其烦地
情况 我们加一个括号
说性质或者关系
就体现在这里了
是高中学生 是一种性质
是身份
而 是同班同学 不是性质
它是一种关系
所以是高中学生
和是同班同学
是完全不同的两类谓词
用逻辑的术语来说
是高中学生
当然你 是大学生
是公务员都可以
都是什么呢
叫做一元谓词
所谓一元谓词是
就是这个谓词
它每次需要一个主词跟它配合
就是你拿出一个人来
当然我们说中学生
当然你的这个定义域
你必须是个人拿出来才行
你不能说这张桌子是高中学生
当然不行
当然你要说也行
但是这个命题是假的
所以每次需要一个主词跟它配合
就是说谁谁谁是高中学生
张三是高中学生
李四是高中学生
你随便说这个人那个人都可以
那么这种情况呢
它通常是表示主词
就是张三他的某种性质
他的一种身份
那么这种叫做一元谓词
就是 是高中学生
那么多元谓词呢
就是刚才的这个
什么呢
是同班同学
是同班同学 我们看
它每次需要多个
比如说两个
你至少有两个出来才行
你两个主词来跟它配合
这句话才说得通
那么它通常是表示多个
比如说两个主词之间的
某种关系
他们是同班同学
是亲戚
是邻居
这个都是叫做二元
当然你用到三个的话
那就是三元谓词
那么这个是一元谓词
和多元谓词的区别
那么含有一元谓词
因为一元谓词是表示性质的
所以含有一元谓词的命题
我们叫它性质命题
那么含有多元谓词
二元开始就叫多元
多元谓词的命题
含有多元谓词的命题呢
我们叫关系命题
为什么要这么分
因为这一类和这一类命题
它们的推理的形式
是很不一样的
我们在后面将要分门别类地
先讨论性质命题的推理
再讨论关系命题的推理
为什么要这么分
就是因为它们的谓词不一样
一个是一元的
一个是多元的
那么另外还有一些命题
在逻辑上也是处理成多元谓词的
比如说5大于3
5大于3当然你也可以分析成
5怎么样呢
是大于3的
大于3也可以作为一种性质
当然你可以这么分析
但是如果你说5大于3
3大于2的话
你要这么分析就没法来推理了
5有一种性质是大于3的
3有一种性质是大于2的
你这个就没法直接来推
而我们是怎么样呢
我们说5和3之间有一种关系
叫做大于
就是5对于3之间有一种关系
叫大于关系
3对于2来说有一种关系
叫大于关系
所以5大于3
在逻辑里边是分析成什么呢
这里和语言学里边的语法分析
就不一样了
就是5大于3
我们是分析成
5是一个主词
3是另外一个主词
这两个主词之间
当然是有序的
有大于关系
所以等于什么等等都是这样的
所以这个和语言学里边的语法分析
在这里就很不一样了
那么三元我们还没有举到这样的例子
比如说 我说铁路线上
石家庄在北京和郑州之间
西安在兰州和郑州之间
那这是什么呢
这是我说出铁路线上
三个火车站之间的这种关系
谁在谁和谁之间
那么这个我们知道
你这个必须得说出
在什么之间是这里的谓词
在一条线上
铁路线上
在什么之间
你得说出三个火车站
你只说两个火车站
这句话是不通的
北京在石家庄之间
或者没头没脑的说
在北京和石家庄之间这都是不行的
你得说出三个地点来
A在B和C之间
那么这就是一个三元谓词
而比如我们刚才说的
石家庄在北京和郑州之间
那么石家庄
就是石家庄也是主词
北京也是主词
郑州也是主词
按照一定的顺序排列
这三个都是主词
而 谁在谁和谁之间
这么一个东西
就叫做谓词
所谓谓词它不一定是出现在一个地方的
它可能是这个这个合起来
叫做一个谓词
正如我们在命题演算里边
如果……那么 是分开的
但是它是一个命题连接词
一样的
好
那么这个是我们对于谓词的
它的一元还是多元的区别
这个区别非常重要
因为这个牵涉到我们
后边对于推理做分类
好 关于谓词它的分类
我们说到这里
-1.1 “逻辑"和逻辑学
--默认
-1.2 推理和推理形式
-1.3 有效推理形式
-1.4 逻辑学的特点
-1.5 逻辑学的基本准则
-1.6 逻辑学和其他学科的关系
-1.7 关于本课程《逻辑学概论》
-第一章作业
-2.1 中国古代逻辑思想（上）
--默认
-2.2 中国古代逻辑思想（中）
--逻辑学02-2
-2.3 中国古代逻辑思想（下）
--逻辑学02-3
-2.4 印度古代逻辑
--逻辑学20-4
-2.5 古希腊和中世纪逻辑
--逻辑学02-5
-2.6 近代西方逻辑
--逻辑学02-6
-2.7 数理逻辑的提出和实现
--逻辑学02-7
-2.8 数理逻辑的发展
--逻辑学02-8
-第二章作业
-3.1 推理和命题
--默认
-3.2 基本命题和复合命题
--默认
-3.3 常用命题联结词及其基本推理形式（1）
--默认
-3.4 常用命题联结词及其基本推理形式（2）
--默认
-3.5 常用命题联结词及其基本推理形式（3）
--默认
-3.6 常用命题联结词及其基本推理形式（4）
--逻辑学03-6
-3.7 常用命题联结词及其基本推理形式（5）
--逻辑学03-7
-3.8 常用命题联结词及其基本推理形式（6）
--逻辑学03-8
-3.9 常用命题联结词及其基本推理形式（7）
--逻辑学03-9
-第三章作业
-4.1 重言式、矛盾式和可满足式
--默认
-4.2 具体推理转换为推理形式
--默认
-4.3 推理形式转换为复合命题形式
--默认
-4.4 有效推理形式的判定：真值表法
--默认
-4.5 有效推理形式的判定：归谬赋值法
--默认
-第四章作业
-5.1 命题联结词：真值函数
--默认
-5.2 析取范式
--默认
-5.3 为复合命题形式作与之等值的析取范式
--默认
-5.4 合取范式
--默认
-5.5 范式存在定理
--Video
-5.6 命题联结词的充足集
--Video
-5.7 命题联结词的独元充足集
--Video
-第五章作业
-6.1 公理系统的构成
--Video
-6.2 命题演算的公理系统 L
--Video
-6.3 命题演算公理系统 L 中的证明
--Video
-6.4 命题演算公理系统 L 中的证明（续）
--Video
-6.5 命题演算公理系统 L 中的推演
--Video
-第六章作业
-7.1 公理系统出发点的延伸
--逻辑学07-1
-7.2 公理系统的评价
--逻辑学07-2
-7.3 公理系统的性质和评价及其意义
--逻辑学07-3
-7.4 命题演算的自然演绎系统
--逻辑学07-4
-7.5 命题演算自然演绎系统中的证明和推演
--逻辑学07-5
-第七章作业
-8.1 基本命题的结构
-8.2 词项的内涵和外延
-8.3 词项的种类
-8.4 词项间的关系
-8.5 词项的定义
-8.6 词项的划分
-8.7 谓词的分类
-8.8 量词
--8.8 量词
-8.9 联词
--8.9 联词
-第八章作业
-9.1 基本命题的推理
--Video
-9.2 传统逻辑对基本命题的分析
--Video
-9.3 性质命题中主、谓词的周延
--Video
-9.4 命题变形的推理
--Video
-9.5 根据对当关系的推理
--Video
-9.6 三段论
--Video
-9.7 三段论的式与格
--Video
-9.8 有效三段论的判定
--Video
-第九章作业
-10.1 性质命题
-10.2 主词非空的预设
-10.3 关系命题的结构
-10.4 关系命题根据量词的推理
-10.5 关系命题根据谓词性质的推理方法
-10.6 谓词演算简介
-第十章作业
-11.1 非经典（非标准）逻辑
-11.2 多值逻辑
-11.3 模糊逻辑
-11.4 模态逻辑
-11.5 规范逻辑
-11.6 时态逻辑
-11.7 弗协调逻辑
-第十一章作业
-12.1 演绎和归纳
--逻辑学12-1
-12.2 探求因果关系的逻辑方法
--逻辑学12-2
-12.3 证论和反驳
--逻辑学12-3
-12.4 悖论
--逻辑学12-4
-12.5 本课程《逻辑学概论》内容回顾
--逻辑学12-5
-第十二章作业
