As quatro seguintes proposições são verdadeiras: P1: ou x é ...
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: