Sejam A, B, C e D conjuntos NÃO vazios e considerando as premissas:
I. A está contido em B e C ou A está contido em D.
II. A não está contido em D.
Então, conclui-se que:
I. A está contido em B e C ou A está contido em D.
II. A não está contido em D.
Então, conclui-se que:
