Definition:Value of Sentence in Structure for Predicate Logic