合取式( conJunction)是用合取真值联结词“∧”将两个或两个以上的命题联结起来而形成的命题形式。

正文

合取式( conJunction)用合取真值联结词“∧”将两个或两个以上的命题联结起来而形成的命题形式。合取联结词“并且”用符号“∧”来表示(“∧"读为合取),构成合取式的支命题,称做合取项。合取式一般表示为“p∧q”,大致相当于p并且q”这一联言判断。合取式表示每个合取项都是直的合取式的真假完全取决于合取项的真假,只要其中有一个合取项是假的,合取式便是假的。合取真值联结词可用真值表来定义:

Pqp∧q