Questão FC670494
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 não for administrador, então ele não poderá acessar todos os módulos do sistema.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
A Regra 1 afirma um condicional: se o usuário for administrador então pode acessar todos os módulos, isto é \(p \to q\).
A assertiva proposta é: se o usuário não for administrador então ele não poderá acessar todos os módulos, ou seja \( \neg p \to \neg q\).
Essa inferência é inválida porque corresponde à negação do antecedente. A partir de \(p \to q\) não se pode deduzir \( \neg p \to \neg q\). Um antecedente falso não impõe o valor do consequente.
Exemplo prático: um usuário pode não ser administrador e, ainda assim, ter todas as permissões por outro mecanismo de autorização; isso é compatível com \(p \to q\) mas contradiz \( \neg p \to \neg q\).
A forma logicamente equivalente e válida seria a contrapositiva: \( \neg q \to \neg p\). Por isso a afirmativa foi julgada ERRADO.
Conteúdo do catálogo FC Concursos · Atualizado em