We explore ways that university students handle proving statements that have the overall structure of a conditional implies a conditional, i.e., (p [right arrow] q) [implies] (r [right arrow] s). We structure our analysis using the theory of conceptual blending. We find conceptual blending useful for describing the creation of powerful new ideas…

In his 1976 book, "Proofs and Refutations," Lakatos presents a collection of case studies to illustrate methods of mathematical discovery in the history of mathematics. In this paper, we reframe these methods in ways that we have found make them more amenable for use as a framework for research on learning and teaching mathematics. We present an…