联结词

（数理逻辑 名词）
联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词语。例如，由命题“二加三等于五”和“苏格拉底是人”可以构造出新命题“二加二等于五并且苏格拉底是人”，在这里，“并且”是联结词，又例如，由命题“苏格拉底是人”可以构造出它的否命题“苏格拉底不是人”，在这个否命题中，“不”是联结词，最重要的联结词有否定“非”，合取“且”，析取“或”，蕴含“如果……则……”以及等价“当且仅当”。[1]
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：