# Symbolic Logic : Predicate Logic

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

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.49