Problema Lógico de Lançamento de Medicamentos
Gabarito: letra E. A partir das premissas, conclui-se que B (anti-B) não pode ser lançado, e A e C são equivalentes. Assim, se A for lançado, B não é lançado — afirmação sempre verdadeira, pois B é falso. As demais alternativas falham por não serem necessariamente verdadeiras.
Vamos representar as proposições:
A: anti-A lançado
B: anti-B lançado
C: anti-C lançado
Informações:
C → A
~C → ~A (equivalente a A → C)
B → (A ∧ ~C)
De (1) e (2) temos A ↔ C (bicondicional).
Considerando (3): se B fosse verdadeiro, exigiria A verdadeiro e C falso, contradizendo A ↔ C. Logo, B é falso. Restam duas possibilidades: A e C ambos verdadeiros, ou ambos falsos.
Alternativa A — ❌ Incorreta
Afirma que ~B → ~C. Como B é falso, ~B é verdadeiro. A implicação seria verdadeira apenas se ~C for verdadeiro (C falso). Mas C pode ser verdadeiro (quando A é verdadeiro). Logo, nem sempre é verdade.
Alternativa B — ❌ Incorreta
Diz que não haverá lançamentos (~A ∧ ~B ∧ ~C). Isso é possível (A e C falsos), mas também é possível que A e C sejam lançados (ambos verdadeiros). Não é necessariamente verdade.
Alternativa C — ❌ Incorreta
Afirma ~A ∨ ~C (pelo menos um não será lançado). Se A e C forem ambos verdadeiros, a disjunção é falsa. Como essa situação é possível, a afirmação não é necessariamente verdadeira.
Alternativa D — ❌ Incorreta
Afirma que exatamente um medicamento será lançado. Sendo B falso, restam A e C, que são equivalentes. Assim, ou lançam ambos (dois) ou nenhum. Nunca exatamente um.
Alternativa E — ✅ Correta ⟵ GABARITO
Afirma A → ~B. Como B é falso, ~B é verdadeiro. Uma condicional com consequente verdadeiro é sempre verdadeira, independentemente de A. Portanto, a afirmação é sempre verdadeira.
Gabarito: letra E