Admitindo‑se que as proposições “Toda borboleta é taurina”, “Roberta é taurina” e “Sabrina é uma borboleta” são verdadeiras, julgue os itens a seguir. Existe pelo menos uma borbole

Gabarito

Certo

Comentário do professor

Sabrina é uma borboleta é uma afirmação factual que garante a existência de ao menos um indivíduo da classe "borboleta". Em lógica de predicados, se denotarmos por \(B(s)\) a sentença "Sabrina é uma borboleta", então se \(B(s)\) é verdadeira podemos inferir \(∃x\,B(x)\): existe ao menos uma borboleta.

As outras proposições ("Toda borboleta é taurina" e "Roberta é taurina") não são necessárias para essa conclusão. Note que uma declaração universal não implica existência por si só, enquanto uma declaração sobre um indivíduo concreto fornece a existência.

Portanto, a conclusão "existe pelo menos uma borboleta" está correta em razão da proposição existencial afirmada sobre Sabrina.