析取詞

析取詞是數學邏輯中一種命題連線詞。

修正亂碼

用符號“∨”表示可兼的（相容的）析取詞，如A∨B即A和B的析取詞，讀作“A或B”，其真假關係是：A和B都假則A∨B假，否則A∨B真。不可兼的（互斥的）析取命題可用等值命題的否定表示，

如￢（A∨B），其真假關係是：A和B都假則￢（A∨B）真，

否則￢（A∨B）假。