Constate o valor de
depois que a proposição if
then
for executada, em que
é a proposição "
", se o valor de
, quando essa proposição for alcançada, for
.
Passo 1
O enunciado apresenta um comando condicional do tipo
if P(x) then x :\(=1\)
onde
é a proposição
. Queremos descobrir qual será o valor de
após a execução desse comando, sabendo que, no momento em que chegamos ao teste, já temos
.
Passo 2
Para decidir se a atribuição
vai ocorrer, avaliamos
com
:
Como essa desigualdade é falsa, o corpo do permanece com o mesmo valor que tinha ao entrar no teste.
if
não é executado e, portanto,