Definition:Valid Formula (Predicate Logic)