Uma proposição equivalente de “Se a prova está difícil, então Antônio não será aprovado no concurso” é: