1 The Logic of Quantified Statements. 2 Definition of Predicate Predicate is a sentence that contains finite number of variables; becomes a statement.