Matemática — Raciocínio Lógico

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: