onsidere 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 com...

onsidere 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