The asterisk implies a conditional usually indicated by an arrow. The & sign indicates "and".
In Aristotelian logic (X)(FX*GX) logically implies
(EX)(FX & GX). Is this true in predicate logic? If not, why not?
A statement in Aristotelian logic is found not to hold true in predicate logic.