Considere as seguintes premissas (onde X, Y, Z e P são conjuntos não vazios):
Premissa 1: "X está contido em Y e em Z, ou X está contido em P"
Premissa 2: "X não está contido em P"
Pode-se, então, concluir que, necessariamente:

a

Y está contido em Z

b

X está contido em Z

c

Y está contido em Z ou em P

d

X não está contido nem em P nem em Y

Próxima Questão