He visto muchas veces afirmaciones de que tienen que ser exhaustivos (los ejemplos en tales libros siempre se establecieron de tal manera, que eran de hecho), por otro lado también vi muchas veces libros que afirman que deben ser exclusivos (por ejemplo $\mathrm{H}_{0}$ como $\mu_1=\mu_2$ y $\mathrm{H}_{1}$ como $\mu_1>\mu_2$ ) sin aclarar la cuestión exhaustiva. Sólo antes de teclear esta pregunta encontré una declaración algo más fuerte en el Página de Wikipedia -- "La alternativa no tiene por qué ser la negación lógica de la hipótesis nula".
Podría alguien más experimentado explicar cuál es la verdad, y le agradecería que arrojara algo de luz sobre las razones (¿históricas?) de tal diferencia (los libros fueron escritos por estadísticos, después de todo, es decir, científicos, no filósofos).