Definition:Valid Sentence (Predicate Logic)