Fórum da comunidade

Como usar contraposição de \(∀x\,(R(x)\to\neg Q(x))\) e a existência \(∃x\,(P(x)\land Q(x))\) para concluir \(∃x\,(P(x)\land\neg R(x))\)?

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