析取

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”为真，而当p和q二者皆真或皆假时，“p或者q”为假。∨的意义是完全确定的。p∨q的真假完全由p和q的真假确定。当p和q都真或者二者之一为真时，p∨q为真，当p和q都假时，p∨q为假。