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.

Tomando-se a = -1, está correto concluir que, após a execução da única instrução do algoritmo seguinte, o valor atribuído a b será 0.