Question

Considere o seguinte programa, que visa trocar a posição das entradas x, y e z, de tal forma que transforme uma terna left parenthesis x comma y comma z right parenthesis, em left parenthesis z comma x comma y right parenthesis

v italic 1 italic colon italic equals x
v italic 2 italic colon italic equals y
x italic colon italic equals z
y italic colon italic equals v italic 1
z italic colon italic equals v italic 2

Ao fazer a demonstração de correção desse programa, assinale a alternativa que corresponde à pré-condição da sétima linha a seguir:

italic left curly bracket x italic equals a italic comma y italic equals b italic comma z italic equals c italic right curly bracket
v italic 1 italic colon italic equals x
italic left curly bracket v italic 1 italic equals a italic comma y italic equals b italic comma z italic equals c italic right curly bracket
v italic 2 italic colon italic equals y
italic left curly bracket v italic 1 italic equals a italic comma v italic 2 italic equals b italic comma z italic equals c italic right curly bracket
x italic colon italic equals z
y italic colon italic equals v italic 1
italic left curly bracket x italic equals c italic comma y italic equals a italic comma v italic 2 italic equals b italic right curly bracket
z italic colon italic equals v italic 2
italic left curly bracket x italic equals c italic comma y italic equals a italic comma z italic equals b italic right curly bracket

a.
left curly bracket x equals c comma y equals c comma v 2 equals b right curly bracket

b.
left curly bracket x equals a comma v 1 equals a comma v 2 equals b right curly bracket

c.
italic left curly bracket x italic equals c italic comma v italic 1 italic equals a italic comma v italic 2 italic equals b italic right curly bracket

d.
left curly bracket z equals c comma v 1 equals a comma v 2 equals b right curly bracket

e.
left curly bracket x equals c right curly bracket

Answer 1

Resposta:

Alternativa : {x = c , v1 = a , v2 = b}

Explicação passo a passo:

AVA