Nesse problema, suponha que as duas primeiras afirmações estão corretas e faça um diagrama para representar as relações. Depois responda as perguntas.

O problema apresenta um exemplo de se supor que algo está certo para ver as relações e possibilidades que resultariam. É uma forma de “raciocínio hipotético”. Aqui nós redefinimos as palavras comuns “abelhas”, “ursos”, e “borboletas” para representar novas classes de relações especificadas nas primeiras duas sentenças do problema. Esse tipo de problema exercita a mente, de forma a abstrair padrões de conhecimento e construir mentalmente novas definições e relações para resolver o problema.

Aqui está o diagrama mostrando que todas as abelhas são ursos e todos os ursos são borboletas.

Resposta à pergunta a:

O diagrama mostra que todas as abelhas são borboletas. Qualquer coisa no círculo das abelhas está automaticamente dentro do círculo das borboletas.

Resposta à pergunta b:

O diagrama mostra que podem existir borboletas que não são abelhas. Por exemplo, o ponto no diagrama abaixo é uma borboleta que não é uma abelha.