Fórum da comunidade

Como inferir \(\neg P(c)\) a partir de \(\forall x\,(P(x)\to M(x))\) e \(\neg M(c)\)?

Leia as dúvidas, dicas e respostas da comunidade. Para escrever ou responder, entre na sua conta.