A recursão é um conceito Considere o seguinte programa, que visa trocar a posição das entradas x, y e z, de tal forma que transforme uma terna left...

A recursão é um conceito 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 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 comma y equals c comma v 2 equals b right curly bracket na programação, que permite que uma função chame a si mesma durante sua execução. Essa