用连词∧把几个公式连接起来而构成的公式叫做合取,而此合取式的每个组成部分叫做合取项。一些合适公式所构成的任一合取也是一个合取公式。概述形式为"p并且q"的复合命题,其中p和q都是命题并且叫做合取支。在命题演算中,合取式被符号化为"p·q","pΛq"或者"p&q"。若把它当做真值函项,"p并且q"为真当且仅当p和q中每一个都真;如果有一个合取支为假,或两个合取支都假,则该合取式为假。我们可以从前提p和前提q推出结论"p并且q",这叫做"合取规则"或"合取引入"。我们也可以从前提"p并且q"推出结论p或者推出结论q,这叫做"合取消除"。合取式还可以把多于两个的陈述组合在一起,如果能够断定所有这些陈述的话。在语义网络中,合取命题通过引入"与"结点来表示。事实上,这种合取关系网络就是由与结点引出的胡构成的多元网络关系。