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…

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…