Analise o argumento: "Todo programador é lógico. Alguns músicos são programadores. Logo, alguns músicos são lógicos". Este argumento é

válido, pois a conclusão é uma consequência necessária das premissas.

inválido, pois a interseção entre músicos e programadores pode não conter lógicos.

válido, mas apenas se todos os músicos forem programadores.

inválido, por apresentar uma contradição intrínseca.

uma Tautologia por definição.