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

Resposta

Sim. Em lógica clássica, de ∃x [A(x) ∧ B(x)] segue ∃x [B(x) ∧ A(x)], portanto "Algum B é A".

A conclusão decorre exclusivamente da existência do elemento que satisfaz ambas as propriedades e independe de outras premissas.