As quatro seguintes proposições são verdadeiras:

P1: ou x é positivo ou y é negativo.
P2: y não é negativo e z é positivo.
P3: Se z é positivo, então m não vale zero.
P4: m vale zero ou n não é natural.

A partir das proposições acima, uma conclusão necessariamente verdadeira é a seguinte: