数学逻辑中一种命题连接词.用符号"∨"表示可兼的(相容的)析取词,如A∨B即A和B的析取词,读作"A或B",其真假关系是:A和B都假则A∨B假,否则A∨B真.不可兼的(互斥的)析取命题可用等值命题的否定表示, 如¬(A↔B),其真假关系是:A和B都真或都假则¬(A↔B)假, 否则¬(A↔B)真.数学逻辑中一种命题连接词.用符号"∨"表示可兼的(相容的)析取词,如A∨B即A和B的析取词,读作"A或B",其真假关系是:A和B都假则A∨B假,否则A∨B真.不可兼的(互斥的)析取命题可用等值命题的否定表示, 如¬(A↔B),其真假关系是:A和B都真或都假则¬(A↔B)假, 否则¬(A↔B)真.