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