[数] conjunction
合取 合取(Conjunction):是一个二元运算。 “和”,“与”:用“”表示; 两个命题p和q的合取是一个复合命题,记作pq。
logic product
... logic of relations 关系逻辑 logic product 合取 logic sum 析取 ...
connective
... 合拢 to fold; to close 合取 conjunction; connective 合上 to close (box, book, mouth etc) ...
合取是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 为假。