Em editais de fomento à pesquisa, é comum que sejam estabelecidos critérios condicionais rigorosos para a avaliação de projetos, relacionando requisitos de mérito a desdobramentos administrativos. A interpretação correta dessas condições, sob a ótica da lógica formal, assegura previsibilidade e transparência nas decisões institucionais.
Um edital estabelece a premissa: “Se o projeto possui impacto social comprovado, então ele é aprovado na primeira fase de avaliação”. Considerando que essa condicional é verdadeira, assinale a alternativa que apresenta uma equivalente à proposição dada.