Se “Alguns cantores são líricos” e “Todos os líricos são românticos”, então, necessariamente:

Gabarito

Certo

Comentário do professor

Partindo das premissas: “Alguns cantores são líricos” significa que existe pelo menos um indivíduo que é ao mesmo tempo cantor e lírico, ou seja, \( \exists x\,(C(x)\land L(x)) \).

Já “Todos os líricos são românticos” indica inclusão do conjunto dos líricos no dos românticos: \( \forall x\,(L(x)\to R(x)) \).

Da combinação dessas duas afirmações segue logicamente que o indivíduo que é cantor e lírico também é romântico. Em termos lógicos, de \( \exists x\,(C(x)\land L(x)) \) e \( \forall x\,(L(x)\to R(x)) \) decorre \( \exists x\,(C(x)\land R(x)) \).

Portanto, é necessariamente verdadeiro que algum cantor é romântico.