Explore BrainMass

Symbolic Logic : Predicate Logic

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)

Solution Summary

A statement in predicate logic is provn to be untrue.