Fórum da comunidade

Dadas as premissas \( \forall x\,(A(x)\rightarrow B(x)) \) e \( \exists x\,A(x) \), qual fórmula existencial pode ser inferida?

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