合取是5个基本命题联结词之一 ，用符号∧表示 。符号∧读作“并且”，是自然语言中的联结词“并且”的抽象 。令 p、q 表示任意命题 ，公式 p∧q 表示 p 和 q 的合取 ，称为合取式 ，读作“p 并且q”。p∧q是复合命题的“ p 并且q”的抽象 ，也是复合命题“ p 并且q”的命题形式 。p∧q 的真假由p 和q 的真假决定 。当 p 和q 皆真时 ，p∧q 为真 ，p、q 二者之一为假或二者皆假时 ，p∧q 为假 。
- 中文名
- 合取
- 外文名
- Conjunction
- 所属学科
- 逻辑学 离散数学
- 符 号
- ∧
- 定 义
- 5个基本命题联结词之一
真值形式迁海p∧q称为 “合取式”，读作 “p合取q"或 “p并且q” ，p、q都是p∧q的合取支。其中合取词“∧”的意义是：当合取式的各个合取支都真时，该合取式为真；只白嫌祝要有一个合取支为假，叠遥炒该合取式为假。
p | q | p∧q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 0 |
改表的左半部列出了p和q的全部可能的真值组合：p可以取1、 0两个真值。当p取值1时，q可以取1、0两个值；当p取值0时，q可以取1、 0两个值。于是全部可能的真值组合有4种：11、 10、 01、00。p∧q只在11的组合下才取值1，在其他组合下都取值询寒0。
上述真值表所刻画的合取词∧，只保留了各种联言联结词所表示的联言命题与其支命题之间的真假关系，而舍去了它们可能表示的并列、承接、递进、转折、对比等意义，以及由这种意义赋予各个支命题的某种顺序关系，由此造成下述两个结果，它们体现了合取词∧与各种日常语言中的联言联结词的最大不同之处：
(1)合取交换律成立，p∧q与q∧p总是估脚凳迎档取同样的真值。一个合取命题成立与否，与其中合取支的顺序无关。
(2)只要两个合取支都是真的，相应的合取命题总是真的，不管其合取习项姜洪支之间是否有内容、意义上的关联。 [1]
如果一个命题公式可等价地表示为：
A1 ∧A2 ∧ … ∧An
其中A1，A2，…，An都是由命题变元或其否定所组成的析取项，则称这种表示形式为合取范式。
例如，（P∨Q）∧（¬P∨R）∧（Q∨R）是合取范式。
但是，（P∧Q）∧（P→Q）∧（R→Q）不是合取范式，P∧Q，P→Q，R→Q都不是析取项。
把命题公式转化为合取范式，其方法、步骤与命题公式转化为析取范式的方法、步骤相似：
如果在一个含有n个变元的命题公式的合取范式中，每一个析取项都由这n个变元或其否定的析取组成，则称这个合取范式为主合取范式。
例如，命题公式P∧Q的主合取范式为：
P∧Q⇔（P∨（Q∧¬Q））∧（Q∨（P∧¬P））
⇔（P∨Q）∧（P∨¬Q）∧（Q∨P）∧（Q∧¬P）
⇔（P∨Q）∧（P∨¬Q）∧（¬P∧Q）
