Essa pergunta também está no material:
Respostas
Ed
A precondição correta que deve ser inserida para que o programa esteja correto é a alternativa d) x = y. Isso porque, de acordo com as instruções do programa, temos que z é igual a x, x é igual a 2 e y é igual a 2x. Portanto, para que y seja igual a x, a precondição correta é x = y.
Responda
Para escrever sua resposta aqui, entre ou crie uma conta