Um algoritmo pode ser composto de uma lista de instruções...

Um algoritmo pode ser composto de uma lista de instruções a serem executadas na ordem da especificação. Nessa lista de instruções são freqüentemente usadas proposições da lógica de primeira ordem a serem avaliadas como verdadeiras (V) ou falsas (F), e a partir desse resultado se decide o prosseguimento da execução das instruções. Considere que uma instrução da forma c a + b significa que o valor obtido pela soma dos valores de a e de b é atribuído a c. Uma proposição do tipo "P e Q" é julgada V quando a proposição P é V e a proposição Q é V, e em qualquer outra combinação de valores a proposição "P e Q" é F. Uma proposição do tipo "P ou Q" é julgada F quando a proposição P é F e a proposição Q é F, e em qualquer outra combinação de valores a proposição "P ou Q" é V. Com base nessas informações, julgue os itens seguintes.

No algoritmo abaixo, tomando-se x = -3 e y = -5, é correto concluir que, após a execução da instrução (2), o valor atribuído a z será 15.