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