Se Lucas não é esforçado e Rodrigo é valente, então Ana é vaidosa. Se Marta é vaidosa, então Júlio não é forte. Sabe-se que Júlio é forte. Logo, podemos afirmar, corretamente, que:

Gabarito

Certo

Comentário do professor

Simbolizamos as premissas: \( (\neg L \land R) \to M\), \(M \to \neg J\) e \(J\).

De \(M \to \neg J\) e \(J\) aplicamos modus tollens (condicional verdadeiro com consequente falso): conclui-se \(\neg M\).

Da primeira premissa \( (\neg L \land R) \to M\) e de \(\neg M\) usamos a contrapositiva ou novamente modus tollens para obter \(\neg(\neg L \land R)\).

Pela equivalência lógica, \(\neg(\neg L \land R)\) é equivalente a \(L \lor \neg R\). Logo, conclui-se corretamente: Lucas é esforçado ou Rodrigo não é valente.