Qual o valor de x depois que cada uma destas proposições se depararem com um programa de computador, se x=1 antes de a proposição ser alcançada?
if (1+1=3) OR (2+2=3) then x:=x+1

Passo 1

O enunciado nos dá a atribuição inicial de \;x=1\; e uma estrutura condicional que testa duas proposições ligadas por OR (ou lógico):
(1+1=3)\;\lor\;(2+2=3)
Se essa condição for verdadeira, faz-se x := x+1. Para resolver, precisamos avaliar cada proposição e depois aplicar a operação lógica OR.

Passo 2

Avaliamo primeiro a proposição
1 + 1 = 3.
Como 1+1=2, concluímos que
(1+1=3)\;=\;\text{false}.

Passo 3

Em seguida, avaliamos a proposição
2 + 2 = 3.
Como 2+2=4, temos
(2+2=3)\;=\;\text{false}.

Passo 4

Agora combinamos as duas avaliações pelo OR lógico:
\text{false}\;\lor\;\text{false}\;=\;\text{false}.
Como a condição do if é falsa, o comando x := x+1 não é executado. Portanto, x permanece com o valor inicial.

Resposta

x = 1

Exercícios de Livros Relacionados