Considerando a afirmação: “Se o sistema é atualizado, então a segurança é reforçada”, uma afirmação que é logicamente equivalente a esta é: