Em uma atividade de pensamento computacional, um aluno foi solicitado a resolver um problema envolvendo a negação de uma proposição composta. Ele tinha uma proposição que afirmava que 'Se um estudante estuda, então ele passa na prova', e precisava negar essa proposição. Para isso, ele utilizou as regras de lógica para construir a proposição negada. Qual das alternativas apresenta a proposição correta, considerando a negação da proposição original?