A interpretation is a Truth Assignment to a Propositional Formula Evaluation Method You require: Predicate Formula Structure Predicate Formula Valuation