Fórum da comunidade

Dadas as fórmulas \(\forall x[(P(x)\land Q(x))\to R(x)]\) e \(\exists x\,[P(x)\land\neg R(x)]\), que conclusão existencial pode ser inferida?

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