... "yesterday" or "tomorrow." A predicate is not a statement, since a predi- cate is neither true nor false. On the other hand, predicates are closely re- lated to statements, and ... example, a two-credit course focused on sets, logic, and proof could cover the core material from Book One. A three-credit course for sophomores, in which a relatively leisurely pace and strong focus ... notation, and basic properties of sets, and, perhaps more important, to serve as a starting point for our primary goal-the development of the ability to discover and prove mathematical theorems....