Em uma escola, o diretor anunciou aos alunos que, se não forem aprovados em toda...

Questão de Raciocínio Lógico da banca IGEDUC aplicada no concurso CRMV BA (2025). Confira a resolução completa abaixo:

Em uma escola, o diretor anunciou aos alunos que, se não forem aprovados em todas as disciplinas, terão que fazer um curso de reforço. A partir dessa regra podemos escrever a seguinte proposição lógica:

"Se um aluno não foi aprovado em todas as disciplinas, então ele fará um curso de reforço."

Com base no conceito de equivalência lógica, qual das proposições abaixo representa corretamente a mesma ideia?