Fórum da comunidade

Se \( \forall x (P(x)\rightarrow Q(x)) \) e \( \exists x (P(x)\land \neg R(x)) \), pode-se concluir que \( \forall x ((P(x)\land \neg R(x))\rightarrow Q(x)) \)?

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