Flashcard FC329818
Como utilizar uma disjunção exclusiva junto com a restrição de atribuição única para descartar uma hipótese?
Lógica de Proposições
IBGP · 2019
Como utilizar uma disjunção exclusiva junto com a restrição de atribuição única para descartar uma hipótese?
Mostrar resposta e comentário
Resposta
Assuma a hipótese e, se as disjunções exclusivas levaram a duplicar uma mesma opção em duas pessoas (violando a unicidade), a hipótese é impossível.Passos práticos:
1) Suponha a hipótese a verificar.
2) Propague as disjunções exclusivas (XOR) para atribuir ou negar opções aos demais.
3) Se isso produzir duas pessoas com a mesma opção, ocorre contradição — rejeite a hipótese; caso contrário, mantenha-a.
Exemplo:
Premissas:
- A ou B estudam para Manager (xor).
- A ou C estudam para Designer (xor).
- B ou C estudam para Manager (xor).
Teste: suponha A = Manager.
- Da 1ª premissa, B ≠ Manager.
- Da 3ª premissa, como B ≠ Manager, então C = Manager.
- Da 2ª premissa, A não pode ser Designer (já é Manager), então C = Designer.
Conclusão: C seria simultaneamente Manager e Designer — impossível pela unicidade. Logo A ≠ Manager, então, pela 1ª premissa, B = Manager.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329403
Conteúdo do catálogo FC Concursos · Atualizado em