Fórum da comunidade

Dadas as premissas \( \exists x\,[A(x)\land B(x)]\) e \( \forall x\,[B(x)\rightarrow C(x)]\), qual conclusão existencial pode ser inferida?

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