# 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)

https://brainmass.com/math/discrete-math/11520

#### Solution Summary

A statement in predicate logic is provn to be untrue.

$2.19