Theo's reinvention of the logic of conditional statements’ proofs rooted in set-based reasoning

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 relationships between predicates within the conditional statements and inference structures among various proofs (in number theory and geometry). We document the progression of Theo's set-based emergent model (Gravemeijer, 1999) from a model-of the truth of statements to a model-for logical relationships. This constitutes some of the first evidence for how students can abstract such logical concepts in this way and provides evidence for the viability of the learning progression that guided the instructional design.