Many mathematics departments have transition to proof (TTP) courses, which prepare undergraduate students for proof-oriented mathematics. Here we discuss how common TTP textbooks connect three topics ubiquitous to such courses: logic, proof techniques, and sets. In particular, we were motivated by recent research showing that focusing on sets is…

This theoretical paper sets forth two "aspects of predication," which describe how students perceive the relationship between a property and an object. We argue these are consequential for how students make sense of discrete mathematics proofs related to the properties and how they construct a logical structure. These aspects of…

This article documents differences between novice and experienced undergraduate students' processes of reading mathematical proofs as revealed by moment-by-moment, think-aloud protocols. We found three key reading behaviors that describe how novices' reading differed from that of their experienced peers: alternative task models, accrual of…

This paper presents selected findings from an assessment of university students' moment-by-moment reading of mathematical proof. This method, adapted from an assessment of narrative reading validated by psychologists, yields novel insights into the strategies students use to construct meaning for the equations in a proof text. In particular, we…

This report documents how one undergraduate student used set-based reasoning to reinvent logical principles related to conditional statements and their proofs. This learning occurred in a teaching experiment intended to foster abstraction of these logical relationships by comparing the predicate and inference structures among various proofs (in…

Weber and Alcock's (2004, 2009) syntactic/semantic framework provides a useful means of delineating two basic categories of proof-oriented activity. They define their dichotomy using Goldin's (1998) theory of representation systems. In this paper, I intend to clarify the framework by providing criteria for classifying student reasoning into…