Para encontrar o contraditório da proposição "Todo homem é loiro", precisamos entender que o contraditório é uma afirmação que nega a proposição original de forma que, se a proposição original for verdadeira, o contraditório deve ser falso, e vice-versa. A proposição "Todo homem é loiro" pode ser expressa como "Para todo homem, ele é loiro". O contraditório seria que existe pelo menos um homem que não é loiro. Analisando as opções: a) Nenhum homem é loiro. - Isso nega a proposição, mas é uma afirmação mais forte do que o contraditório. b) Algum loiro é homem. - Isso não é um contraditório, apenas uma afirmação sobre a relação entre loiros e homens. c) Algum homem é loiro. - Isso não nega a proposição original, mas a confirma. d) Algum homem não é loiro. - Esta é a negação correta da proposição original, pois afirma que existe pelo menos um homem que não é loiro. e) Nenhum loiro é homem. - Isso também é uma afirmação mais forte e não é o contraditório. Portanto, a alternativa correta que apresenta o contraditório de "Todo homem é loiro" é: d) Algum homem não é loiro.