Um estudante de matemática está analisando a seguinte proposição: "Se um número é par, então ele é divisível por 2". Ele se pergunta se a negação dessa proposição seria: "Um número não é par e não é divisível por 2". Essa negação está correta?