查看“︁逻辑联结词”︁的源代码

[[分类:命题逻辑]]
{{InfoBox
|name=逻辑联结词
|eng_name=logical connective
|aliases=逻辑运算符,logical operator,sentential connective,sentential operator,propositional operator
}}
{{InfoBox
|name=复合命题
|eng_name=compound position
}}
'''逻辑联结词'''('''logical connective''')指将[[命题]]组合成新的复合命题的词语。
含有逻辑联结词的命题称为'''复合命题'''('''compound proposition''')，不含的称为'''[[原子命题]]'''。

== 常用逻辑联结词 ==
常用的逻辑连接词包括：
* [[否定|否定词]]
* [[合取|合取词]]
* [[析取|析取词]]
* [[蕴含|蕴含词]]
* [[等价（逻辑）|等价词]]

且一般按以上顺序运算优先级从高到低。

== 全部逻辑联结词 ==

将逻辑联结词看成运算，则可以通过运算的元数进行一些讨论。
以下是逻辑联结词，由于不是“常用的”逻辑联结词，通常也不一定被视为逻辑联结词。

零元逻辑联结词有两种，对应着[[真]]和[[假]]。

一元逻辑联结词，其自变量有2种情况，因此一共有4种。分别为真、假、[[恒等映射|恒等]]和[[否定]]。其中只有否定词是常用的一元逻辑联结词。

二元逻辑联结词，其自变量有4种情况，因此一共有16种。其中常用的二元逻辑联结词只有合取词、析取词、蕴含词和等价词。

以此类推，对 <math>n</math> 元的逻辑联结词，有 <math>2^n</math> 种情况，因此共有 <math>2^{2^n}</math> 种不同的 <math>n</math> 元逻辑联结词。

{{逻辑联结词}}


{{命题逻辑}}

== 琐事 ==

=== 命名 ===

英语 connective 一词本身是一个语法概念，指将其他语法成分连接在一起的单词或短语，不仅包括连词，还包括表达关联、承上启下、过渡用的成分。
这个概念在语言逻辑学分支上被用来指将成分完整的句子（指命题）连接成复合句的成分。
在这个语境下，复合句可以找到一个主要联结词，其连接着一个及以上的直接子句。

在这个意义下，联结词被分为“真值函数联结词”（truth-functional connective）与“非真值函数联结词”（non-truth-functional connective），
指以该联结词连接成的复合句，其真值是否由其直接子句的真值组合直接决定。
“真值函数联结词”就是数理逻辑所说的“逻辑联结词”，
而“非真值函数联结词”则比如“因为……所以……”、“自从……，……”、“张三说……”这些，既符合用子句构成复合句的定义，
又显然不能凭子句的真假完全判断复合句的真假。