Explore BrainMass

Explore BrainMass

    Symbolic Logic : Predicate Logic

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

    The sentence below is a theorem of predicate logic. Show that it is by deriving it from the null set of premises. If any "individual" in the domain has a property, then every individual has it. I need help explaining this and with the derivation.
    (EX)(FX --->(Y)FY)

    © BrainMass Inc. brainmass.com February 24, 2021, 2:17 pm ad1c9bdddf

    Solution Summary

    A statement in predicate logic is provn to be untrue.