# Symbolic Logic : Predicate Logic

Not what you're looking for? Search our solutions OR ask your own Custom question.

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?

https://brainmass.com/math/discrete-math/symbolic-logic-predicate-logic-11519

#### Solution Preview

Please see the attached file for the complete solution.

Thanks for using BrainMass.

In Aristotelian logic ...

#### Solution Summary

A statement in Aristotelian logic is found not to hold true in predicate logic.

$2.49