Questão FC670467
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.
A afirmação “Todo usuário que acessa módulos críticos possui certificação de segurança” é uma conclusão válida a partir das regras estabelecidas.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Regra 2 diz: se um usuário não tem certificação de segurança, então ele não pode acessar módulos críticos. Definindo \(p\) = "tem certificação de segurança" e \(q\) = "acessa módulos críticos", a regra é formalmente \( \neg p \to \neg q\).
A contrapositiva dessa implicação é logicamente equivalente: \(q \to p\). Ou seja, "se um usuário acessa módulos críticos, então ele tem certificação de segurança". Essa forma é exatamente a afirmação dada: todo usuário que acessa módulos críticos possui certificação de segurança.
Portanto, a conclusão é válida a partir das regras fornecidas; as outras regras do sistema não são necessárias para inferir essa consequência.
Conteúdo do catálogo FC Concursos · Atualizado em