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=2.

Passo 1

O enunciado apresenta um comando condicional do tipo
if P(x) then x := 1
onde P(x) é a proposição “ x > 1”. Queremos saber qual será o valor de x após a execução desse comando, sabendo que, no momento em que chegamos ao if, temos x = 2.

Passo 2

Primeiro, avaliamos a proposição P(x) no ponto em que x = 2.
P(2):\;2 > 1
Essa desigualdade é verdadeira, logo P(2) é verdadeira.

Passo 3

Como P(2) é verdadeira, o corpo do then é executado, ou seja, fazemos a atribuição
x := 1.

Resposta

Após a execução do comando, o valor de x passa a ser 1.

Exercícios de Livros Relacionados