Questão FC670495
Uma empresa de desenvolvimento de software está implementando um novo sistema de controle de acesso. O sistema possui as seguintes regras lógicas para liberação de acesso. Regra 1:
Lógica de Proposições
QUADRIX · 2025
Uma empresa de desenvolvimento de software está implementando um novo sistema de controle de acesso. O sistema possui as seguintes regras lógicas para liberação de acesso.
Regra 1: se um usuário tem perfil de administrador, então ele pode acessar todos os módulos do sistema.
Regra 2: se um usuário não tem certificação de segurança, então ele não pode acessar módulos críticos.
Regra 3: se um usuário acessa módulos críticos, então ele deve ter registro de treinamento.
Com base nessa situação hipotética, julgue os itens a seguir.
Se um usuário tiver certificação de segurança e registro de treinamento, então ele, necessariamente, poderá acessar módulos críticos.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Devemos analisar apenas Regra 2 e Regra 3. Seja \(p\): "tem certificação de segurança", \(q\): "acessa módulos críticos", \(r\): "tem registro de treinamento". As regras viram: Regra 2 \( \neg p \to \neg q\) e Regra 3 \( q \to r\).
A afirmação assume \(p\) e \(r\) verdadeiros e conclui \(q\). Mas de \( \neg p \to \neg q\), com \(p\) verdadeiro o antecedente é falso, logo essa regra não fornece informação sobre \(q\). De \(q \to r\), com \(r\) verdadeiro o consequente é verdadeiro, e isso também não permite inferir \(q\).
Portanto não se pode concluir que o usuário necessariamente acessa módulos críticos apenas por ter certificação e treinamento. Faltaria uma regra que afirme diretamente \(p \wedge r \to q\) ou equivalente.
Conteúdo do catálogo FC Concursos · Atualizado em