Em uma comunidade, todas as pessoas foram identificadas como possuindo uma ou mais que uma dentre as
características A, B, C ou D. Em relação a essas características, sabe-se:
• todos que possuem a A também possuem a B.
• alguns que possuem a C também possuem a B e também a A.
• há quem possua apenas a D, mas não há quem possua
apenas a C e a D.
A partir dessas informações, é logicamente verdadeiro
que