Fórum da comunidade

Dado ∀x(A(x)→V(x)), é válida a inferência ∀x((A(x)∧P(x))→V(x))?

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