Flashcard FC97689
Qual técnica lógica permite determinar atribuições únicas em um conjunto sujeito a restrições mutuamente exclusivas?
Lógica de Proposições
CEBRASPE (CESPE) · 2023
Qual técnica lógica permite determinar atribuições únicas em um conjunto sujeito a restrições mutuamente exclusivas?
Mostrar resposta e comentário
Resposta
Raciocínio por eliminação (satisfação de restrições).Explicação:
Consiste em listar todas as possibilidades para cada elemento, aplicar as restrições que excluem opções e iterar até que cada elemento possua uma única alternativa compatível.
Aplicam-se exclusões diretas e indiretas (se X não pode ser A, elimina-se A; isso pode forçar outras atribuições).
Exemplo:
Itens: Item1, Item2, Item3
Atributos possíveis (tamanho): S, M, L
Regras:
1) Item1 não é gerente e tem tamanho S.
2) O técnico tem tamanho L.
3) Item2 não é vendedor nem tem tamanho L.
Solução por eliminação:
- Como Item1 = S, restam M e L para Item2 e Item3.
- Pela regra 3, Item2 não pode ser L, então Item2 = M e Item3 = L.
- Como o técnico é quem tem L, Item3 = técnico.
- Restando funções, Item2 = gerente e Item1 = vendedor.
Assim, aplicando exclusões sucessivas chega-se à atribuição única.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83185
Conteúdo do catálogo FC Concursos · Atualizado em