Definition:Model of Formula (Predicate Logic)