Question

De acordo com o axioma de atribuição, qual é a precondição para o segmento de programa a seguir?



{precondição}

x = 5 * x + 2

{x = y – 5}



x = y-7
5x = y-7
2x = y
y-7=x
x-y = 7

Answer 1

Resposta:

alguem ai

Explicação passo-a-passo: