Em um grupo de pessoas, sabe-se que:
I - todos os homens são casados;
II – todas as pessoas que não têm filhos não são casadas.
A partir dessas informações somente é possível inferir com absoluta certeza, que, nesse grupo,