Raciocínio Lógico — estruturas lógicas (tabela verdade)

Uma empresa mantém a seguinte regra em relação a seus funcionários:Se um funcionário tem mais de 45 anos de idade, então ele deverá, todo ano, realizar pelo menos um exame médico e tomar a vacina contra a gripe.Considerando que essa regra seja sempre cumprida, é correto concluir que, necessariamente, se um funcionário dessa empresa