数学逻辑中一种命题连接词。用符号“∨”表示可兼的（相容的）析取词，如A∨B即A和B的析取词，读作“A或B”，其真假关系是：A和B都假则A∨B假，否则A∨B真。不可兼的（互斥的）析取命题可用等值命题的否定表示，

如¬（A↔B），其真假关系是：A和B都真或都假则¬（A↔B）假，

否则¬（A↔B）真。