Definition:Model of Logical Formula