Lógica proposicional: implicações a partir de premissas
Gabarito: A. As observações do diretor implicam que as três primeiras afirmativas são verdadeiras e as duas últimas são falsas, resultando na sequência V, V, V, F, F.
Análise das premissas
Sejam as proposições:
P: abraçou Pedro
Q: abraçou Quitéria
W: abraçou Wellington
T: abraçou Tatiane
V: abraçou Vani
Observações do diretor (para todo aluno):
Q → W
¬V → W (equivalente a V ∨ W)
¬P → Q (equivalente a P ∨ Q)
T ↔ (P ∨ V)
Avaliação das afirmativas
1ª afirmativa: ¬T → (Q ∧ W) — Verdadeira
Supondo ¬T, da premissa 4 temos ¬(P ∨ V), ou seja, ¬P e ¬V. De ¬P e premissa 3, obtemos Q. De ¬V e premissa 2, obtemos W. Logo, Q ∧ W é verdadeiro. Portanto, a condicional é sempre verdadeira.
2ª afirmativa: ¬W → T — Verdadeira
Supondo ¬W, da premissa 2 (contrapositiva) obtemos V. Com V verdadeiro, P ∨ V é verdadeiro, e pela premissa 4, T é verdadeiro. Assim, ¬W → T é válida.
3ª afirmativa: (V ∧ ¬Q) → T — Verdadeira
Se V é verdadeiro, então P ∨ V é verdadeiro, e pela premissa 4, T é verdadeiro. Logo, qualquer condicional com antecedente contendo V (mesmo com ¬Q) implica T. A afirmativa é verdadeira.
4ª afirmativa: ∃ (Q ∧ ¬W) — Falsa
A premissa 1 (Q → W) impede que exista um aluno que abrace Quitéria e não abrace Wellington. Portanto, não existe tal aluno.
5ª afirmativa: ∃ (P ∧ ¬T) — Falsa
Pela premissa 4, se um aluno abraça Pedro, então P ∨ V é verdadeiro, e consequentemente T é verdadeiro. Logo, não pode existir aluno que abrace Pedro sem abraçar Tatiane.
Conclusão
A sequência correta é V, V, V, F, F, que corresponde à alternativa A.