逻辑连接词

在逻辑学中, 逻辑连接词是通过一些既有的命题构造新的命题的规则.

例如连接词与, 记作 $\wedge$, 它接受命题 $P,Q$, 给出新命题 $P\wedge Q$, 并给出 $P,Q$ 的证明和 $P\wedge Q$ 的证明之间如何转换的规则.

这类似类型论中的形成规则.

1例子

•	命题逻辑: 或、与、非、蕴涵.

•	谓词逻辑: 全称量词、存在量词.

•	亚结构逻辑: 参见线性逻辑、顺序逻辑、伴随逻辑.

2相关概念

•	Brouwer–Heyting–Kolmogorov 解释

术语翻译

逻辑连接词 • 英文 logical connective • 日文 論理結合子