Considere um diagrama lógico que representa algumas características sobre gado. Esses animais podem ser da raça Nelore ou não, podem ser de cor uniforme ou mesclada, e podem ou não possuir chifres.
Considere as seguintes informações, que formam um diagrama lógico:
• Todos os Nelores possuem chifres;
• Alguns Nelores são de cor preta;
• Todos os bois de cor preta possuem chifres; • Todos os bois que possuem chifres são de cor uniforme;
• Alguns bois de cor uniforme não são Nelore. O diagrama lógico indica que