En el ámbito de la lógica y de la teoría de la probabilidad dos proposiciones (o eventos) son mutuamente excluyentes o disjuntos si ambos no pueden ser verdaderos (o suceder simultáneamente), Un ejemplo de ello es el resultado de revolear una vez una moneda, el cual solo puede ser "cara" o "cruz", pero no ambos.
En el ejemplo de la moneda, ambos resultados son en teoría, sucesos colectivamente exhaustivos, lo que quiere decir que por lo menos uno de los resultados debe suceder, por lo que estas dos alternativas comprenden todas las posibilidades.[1]​ Sin embargo, no todos los eventos mutuamente excluyentes son exhaustivamente colectivos. Por ejemplo, los resultados 1 y 4 de una única echada de un dado de seis caras son mutuamente excluyentes, ambas no pueden suceder a la vez, pero no son colectivamente exhaustivos (existen otros resultados posibles; 2,3,5,6).