Ao considerarmos a proposição composta "se Ana faltou à prova do processo seletivo da Prefeitura de Sete Lagoas, então ela foi reprovada nesta prova”, essa é logicamente equivalente à proposição: