Escolha o diagrama que melhor representa a relação entre os grupos abaixo:

Queremos um diagrama que represente a relação entre:

• Coisas brancas
• Gatos
• Pássaros

Relações lógicas:

1. Gatos e pássaros são conjuntos distintos: não existe um animal que seja, ao mesmo tempo, gato e pássaro. Logo, $Gatos \cap Pássaros = \varnothing$ (não há interseção).
2. Existem gatos brancos e também pássaros brancos, então o conjunto Coisas brancas deve intersectar o conjunto dos gatos e também o conjunto dos pássaros.
3. Além disso, há muitas coisas brancas que não são nem gatos nem pássaros (papel, neve, etc.), então Coisas brancas não pode estar contido totalmente em gatos ou pássaros.

O diagrama correto, portanto, deve mostrar:

• um conjunto (coisas brancas) que se sobrepõe a um dos outros (por exemplo, gatos),
• o terceiro conjunto (pássaros) separado de gatos (sem sobreposição com gatos),
• e não há necessidade de obrigar que pássaros também se sobreponha no desenho, mas o essencial é: gatos e pássaros não podem se cruzar, e coisas brancas não pode ser disjunto de ambos.

Na opção 1, há um círculo grande que se sobrepõe a um círculo pequeno (representando que há elementos comuns entre “coisas brancas” e “gatos”, por exemplo) e um terceiro círculo separado (representando o conjunto que não tem interseção com o dos gatos — os pássaros). Entre as alternativas dadas, essa é a que melhor atende às relações fundamentais (principalmente a disjunção entre gatos e pássaros).