Fórum da comunidade

A partir de "Todo A é B" (∀x(A(x)→B(x))) pode-se inferir, sem premissas adicionais, que existe alguém que é A e B?

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