Qual o valor de
depois que cada uma destas proposições se depararem com um programa de computador, se
antes de a proposição ser alcançada?
if
OR
then
if
Passo 1
O enunciado nos dá a atribuição inicial de
e uma estrutura condicional que testa duas proposições ligadas por OR (ou lógico):
Se essa condição for verdadeira, faz-se
. Para resolver, precisamos avaliar cada proposição e depois aplicar a operação lógica OR.
Passo 2
Avaliamo primeiro a proposição
Como
, concluímos que
Passo 3
Em seguida, avaliamos a proposição
Como
, temos
Passo 4
Agora combinamos as duas avaliações pelo OR lógico:
Como a condição do permanece com o valor inicial.
if
é falsa, o comando x := x+1
não é executado. Portanto,