Concursos públicos

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: