This paper introduces the concept of logical consistency in students' thinking in mathematical contexts. We present the Logical in-Consistency (LinC) instrument as a valuable assessment tool designed to examine the prevalence and types of logical inconsistencies among undergraduate students' evaluation of mathematical statements and accompanying…

This article presents an inquiry-oriented lesson for teaching Lagrange's theorem in abstract algebra. This lesson was developed and refined as part of a larger grant project focused on how to "Orchestrate Discussions Around Proof" (ODAP, the name of the project). The lesson components were developed and refined with attention to how well…

The mathematical egg hunt is a hands-on activity designed to help students understand mathematical relations in an Introduction to Proofs course. This activity gives students the opportunity to practice selecting which ordered pairs do and do not belong to a given relation in a moderately competitive egg hunt. It is designed to be low-stakes, yet…

Proof comprehension is an important skill for students to develop in their proof-based courses, yet students are rarely afforded opportunities to develop this skill. In this paper, we describe two implementations of an activity structure that was developed to give students the opportunity to engage with complex proofs and to develop their proof…

This article presents several activities suitable for a transition to proofs course. In addition, this article surveys literature in support of active learning in the transition to proofs course and discusses how these activities have been successfully implemented in one such course.

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…

An online intro-to-proof course provided an unexpected opportunity for a series of email exchanges that yielded insights into one student's mathematical thinking and the ambiguous role of mathematical jargon in miscuing this student's reasoning. The jargon deals with the notation [limit value of a function], which encapsulates multiple conceptual…

Experienced provers employ a host of skills when assessing the validity of a justification, often without names for those skills. This paper offers an introduction to a lens called Toulmin analysis that can help make sense of this process. Then this paper describes both an in-class module to help students learn to apply Toulmin analysis and…

Connecting and comparing across student strategies has been shown to be productive for students in elementary and secondary classrooms. We have recently been working on a project converting such practices from the K-12 level to the undergraduate classroom. In this paper, we share a particular instantiation of this practice in an abstract algebra…

We discuss how an asynchronous online forum can be used to support the learning of proof validation. In this study, one face-to-face class session was replaced with an online session in a first-year university introduction to proof course with 19 volunteer research participants. The online session was centered around an online forum that took the…

When first learning how to write mathematical proofs, it is often easier for students to work with statements using the universal quantifier. Results that single out special cases might initially come across as more puzzling or even mysterious. In this article we explore three specific statements from abstract algebra that involve the number…

In undergraduate mathematics, deductive reasoning plays important roles in teaching and learning various ideas, and is primarily characterized by the concept of logical implication. This comes up whenever conditional statements are applied, i.e., one checks if a statement's hypotheses are satisfied and then makes inferences. In calculus, students…

Students' proof abilities were explored in the context of an inquiry-based learning (IBL) approach to teaching an introductory proofs course. IBL is a teaching method that puts the responsibility for proof on students and focuses on student discussion and exploration. Data collected from each of the 70 participants included a portfolio consisting…

Undergraduate mathematics instructors are called by many current standards to promote prospective teachers' learning of geometry from a transformation perspective, marking a change from previous standards. The novelty of this situation means it is unclear what is involved in undergraduate learning and teaching of geometry from a transformation…

For many of my students, Real Analysis I is the first, and only, analysis course they will ever take, and these students tend to be overwhelmed by epsilon-delta proofs. To help them I reordered Real Analysis I to start with an "Analysis Boot Camp" in the first 2 weeks of class, which focuses on working with inequalities, absolute value,…