Fórum da comunidade

Que inferência permite concluir Q(a) a partir de \( \forall x\,(P(x)\to Q(x))\) e \(P(a)\)?

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