Fórum da comunidade

Se \( \forall x(P(x)\rightarrow Q(x)) \) e \( \exists x(P(x)\land R(x)) \), é válido inferir \( \exists x(Q(x)\land R(x)) \)?

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