Fórum da comunidade

Pode-se inferir "Algum B é A" a partir de "Algum A é B" em lógica clássica?

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