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
• 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
