Em um edital de um concurso público federal para o cargo de Analista Administrativo, consta a seguinte cláusula: “Se o servidor cumprir o plano de metas trimestral, então ele fará jus ao bônus por produtividade”. Considere que um determinado servidor não cumpriu o plano de metas trimestral. Com base exclusivamente na proposição condicional acima, é necessariamente correto afirmar que: