Motivated by the observation that formal logic answers questions students have not yet asked, we conducted exploratory teaching experiments with undergraduate students intended to guide their reinvention of truth-functional definitions for basic logical connectives. We intend to reframe the relationship between reasoning and logic by showing how…

This paper presents results from three teaching experiments intended to guide students to reinvent truth-functional interpretations for mathematical disjunctions. The initial teaching experiments revealed that students' emergent strategies for assessing disjunctions did not entail or facilitate the development of a relevant partitioning of example…