Fórum da comunidade

Como, logicamente, derivar \(\exists x (A(x)\land C(x))\) a partir de \(\exists x (A(x)\land B(x))\) e \(\forall x (B(x)\to C(x))\)?

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