互斥

在邏輯學中，互斥（Mutually Exclusive）是一種邏輯關係，指幾個變量或事件之中的任一個不可能與其他一個或多個同時為真，或同時發生的情況。對於邏輯函數，其變量互斥，意味着兩個以上變量為真（包括都不為真）的情況會導致函數值為假。對於事件，其所有條件的互斥意味着，任兩個條件的實現都將阻止事件的產生。同樣可以引申到程序編寫及其他關係。
比如一個最簡單的情況下，投擲一枚硬幣，硬幣不可能同時出現既為正也為反；兩個結果互斥。

而在概率論中，事件E₁, E₂, ..., E_n 在當其中任意一個事件與其餘(n-1)個都不能同時發生時被稱作互斥。用 A B 表示任意兩個事件，即有公式：P(A and B) = 0。
在該樣本空間中，所有互斥事件概率之和為1(即可拼為全概率)。

若$A_{i}\cap A_{j}$為空集，則該兩子集或元素互斥。