Constate o valor de x depois que a proposição if P(x) then x:=1 for executada, em que P(x) é a proposição " x>1 ", se o valor de x, quando essa proposição for alcançada, for
x=0.

Passo 1

O enunciado apresenta um comando condicional \text{if }P(x)\text{ then }x := 1
onde P(x) é a proposição “ x>1”. No instante em que esse comando é alcançado, sabe-se que
x = 0.

Passo 2

Avaliar a condição P(x) substituindo x=0:
0 > 1
é uma afirmação falsa.

Passo 3

Como a condição é falsa, o corpo do \text{if} (isto é, a atribuição x := 1) não é executado. Portanto, x permanece com seu valor original.

Resposta

x = 0

Exercícios de Livros Relacionados