Se toda borboleta é taurina e Roberta é taurina, Roberta é necessariamente uma borboleta?

Resposta

Não. De "toda borboleta é taurina" e "Roberta é taurina" não se segue que Roberta seja uma borboleta.

De B⊆T decorre que todo elemento de B pertence a T, mas a recíproca não vale. Pertencer a T não exige pertencer a B, portanto Roberta pode ser uma taurina que não é borboleta. A informação sobre Sabrina é irrelevante para a conclusão.