In this paper, we present data from an exploratory study that aimed to investigate the ways in which, and the extent to which, undergraduates enrolled in a transition-to-proof course considered examples in their attempted proof constructions. We illustrate how some undergraduates can and do use examples for specific purposes while successfully…

In the study reported here, we investigate the skills needed to validate a proof in real analysis, i.e., to determine whether a proof is valid. We first argue that when one is validating a proof, it is not sufficient to make certain that each statement in the argument is true. One must also check that there is good reason to believe that each…

In this paper, we distinguish between two ways that an individual can construct a formal proof. We define a syntactic proof production to occur when the prover draws inferences by manipulating symbolic formulae in a logically permissible way. We define a semantic proof production to occur when the prover uses instantiations of mathematical…