(IAUPE 2026) - QUESTÃO

Considere as seguintes afirmações:

I. Se o sistema está atualizado, então o computador fica mais seguro.

II. Se o computador fica mais seguro, então os dados ficam protegidos.

III. O sistema está atualizado.

Com base apenas nessas informações, é logicamente CORRETO afirmar que

Ⓐ o computador não ficou mais seguro.

Ⓑ os dados não ficaram protegidos. 

Ⓒ o sistema foi atualizado automaticamente.

Ⓓ os dados ficaram protegidos.

Ⓔ Não é possível concluir nenhuma das alternativas anteriores. 

Vamos representar as afirmações em lógica proposicional:

• P: O sistema está atualizado.
• Q: O computador fica mais seguro.
• R: Os dados ficam protegidos.

As premissas são:

1. P → Q (Se o sistema está atualizado, então o computador fica mais seguro.)
2. Q → R (Se o computador fica mais seguro, então os dados ficam protegidos.)
3. P (O sistema está atualizado.)

Aplicando modus ponens em (1) e (3):

• De P → Q e P, concluímos Q.

Aplicando novamente modus ponens em (2) e Q:

• De Q → R e Q, concluímos R.

Portanto, podemos afirmar que os dados ficaram protegidos.