Disjunção: Se Janice é executiva pública, então Yago é eletricista e Lúcio é médico. Se Márcia é enfermeira ou Caroline é nutricionista, então Lúcio não é médico. Constata-se que Márcia é enfermeira ou que Ana é advogada. Sabe-se, ainda, que Janice é executiva pública. Logo, é verdade que

Vamos simbolizar as proposições:

• $J$: Janice é executiva pública.
• $Y$: Yago é eletricista.
• $L$: Lúcio é médico.
• $M$: Márcia é enfermeira.
• $C$: Caroline é nutricionista.
• $A$: Ana é advogada.

Premissas:

1. $J \rightarrow (Y \land L)$.
2. $(M \lor C) \rightarrow \lnot L$.
3. $M \lor A$.
4. $J$.

A partir de (4) e (1):

• De $J$ e $J \rightarrow (Y \land L)$, concluímos $Y \land L$.
• Logo, $Y$ é verdadeiro e $L$ é verdadeiro.

Agora use (2):

• Como $L$ é verdadeiro, então $\lnot L$ é falso.
• Se o consequente de (2) é falso, o antecedente não pode ser verdadeiro; caso contrário, a implicação seria falsa.
• Portanto, $\lnot(M \lor C)$ é verdadeiro, isto é, $(\lnot M \land \lnot C)$.
• Concluímos: $\lnot M$ e $\lnot C$.

Use (3) $M \lor A$ junto com $\lnot M$:

• Se $M$ é falso e $M \lor A$ é verdadeiro, então necessariamente $A$ é verdadeiro.

Assim, é garantido que Ana é advogada. Alternativa correta: (D).