Dadas as premissas ¬A, ¬A→B, B→¬C e C∨D (opções exclusivas), qual conclusão lógica final?

Resposta

B; ¬C; portanto D.

Aplicando modus ponens: de ¬A e ¬A→B segue B.
De B e B→¬C segue ¬C.
Com ¬C e a disjunção C∨D, a única alternativa verdadeira é D.
Se as opções são mutuamente exclusivas, D é a conclusão final.

Exemplo:
Premissas: o pacote não está no hub A (¬A); se não está no hub A então vai ao hub B (¬A→B); se está no hub B então não está no hub C (B→¬C); e ele está ou no hub C ou no hub D (C∨D).
Aplicação: de ¬A e ¬A→B conclui-se que está no hub B; daí B→¬C dá ¬C; com ¬C e C∨D conclui-se que o pacote está no hub D.

⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições