Considere as afirmativas a seguir a respeito de três predicados: M, N e P.

Se algo é M então não é N.
Se algo não é M então é P.

Analisando-se as afirmações acima, conclui-se que