Considere as seguintes premissas (onde X, Y, Z e P são conju...
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: