Explore BrainMass

Explore BrainMass

    Symbolic Logic : Predicate Logic

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

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    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?

    © BrainMass Inc. brainmass.com December 24, 2021, 4:51 pm ad1c9bdddf

    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.