Sabe-se que existe pelo menos um Aureliano que é Beloviano. Sabe-se, também, que todo Beloviano é Calítrio. Segue-se, portanto, necessariamente que:
Considere o conjunto de afirmações conclusões.
Afirmações:
A. Todas as coroas são douradas.
B. Nenhuma coisa dourada é barata.
Conclusões:
I. Todas as coroas são baratas.
II. Coroas douradas não são baratas.
Larissa, Olívia e Raquel trabalham no mesmo salão de beleza e atuam, de forma distinta, nas funções de manicure, cabeleireira e recepcionista, mas não necessariamente nesta ordem. Com respeito à idade distinta das três profissionais, a recepcionista não é a mais nova e nem a mais velha. Se Olívia é cabeleireira e Raquel é a mais velha, é correto afirmar que:
As proposições "Existe algum A que não é B" e "Existe algum B que não é A" não podem ser deduzidas do diagrama dado.
Sobre os elementos representados por x podemos usar as proposições categóricas "Algum A é B" e "Algum B é A".