skip to main content


This content will become publicly available on November 8, 2025

Title: Student use of three registers for representing set relationships to reason about logic in undergraduate transition to proof courses
In transition to proof courses for undergraduates, we conducted teaching experiments supporting students to learn logic and proofs rooted in set-based meanings. We invited students to reason about sets using three representational systems: set notation (including symbolic expressions and set-builder notation), mathematical statements (largely in English), and Euler diagrams. In this report, we share evidence regarding how these three representations provided students with tools for reasoning and communicating about set relationships to explore the logic of statements. By analyzing student responses to tasks that asked them to translate between the representational systems, we gain insight into the accessibility and productivity of these tools for such instruction.  more » « less
Award ID(s):
1954768
PAR ID:
10554669
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
Psychology in Mathematics Education - North America
Date Published:
Subject(s) / Keyword(s):
Logic multiple representations Euler diagrams undergraduate
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Cook, S. ; Katz, B. ; Moore-Russo, D. (Ed.)
    This study explores how instructional interventions and teacher moves might support students’ learning of logic in mathematical contexts. We conducted an exploratory teaching experiment with a pair of undergraduate students to leverage set-based reasoning for proofs of conditional statements. The students initially displayed a lack of knowledge of contrapositive equivalence and converse independence in validating if a given proof-text proves a given theorem. However, they came to conceive of these logical principles as the teaching experiment progressed. We will discuss how our instructional interventions played a critical role in facilitating students’ joint reflection and modification of their reasoning about contrapositive equivalence and converse independence in reading proofs. 
    more » « less
  2. In this study, we report one group of students’ efforts to create a community meaning for set- builder notation collectively. Students’ ability to develop and interpret set-builder notation is essential to transition-to-proof courses. Conventionally, a colon is used in set-builder notation to (1) separate the universe of discourse from the set’s defining property and (2) indicate an ordering to these components, with the universe to the left and the property to the right of the colon. We describe one normative and non-normative interpretation of this notation and how the students’ individual attribution of conventional meanings for the colon to different inscriptions within the notation helped (or inhibited) them from interpreting these expressions. We report how communicative discourse between the students affected their meanings and discussions. 
    more » « less
  3. Abstract

    Opinion formation cannot be modeled solely as an ideological deduction from a set of principles; rather, repeated social interactions and logic constraints among statements are consequential in the construct of belief systems. We address three basic questions in the analysis of social opinion dynamics: (i) Will a belief system converge? (ii) How long does it take to converge? (iii) Where does it converge? We provide graph-theoretic answers to these questions for a model of opinion dynamics of a belief system with logic constraints. Our results make plain the implicit dependence of the convergence properties of a belief system on the underlying social network and on the set of logic constraints that relate beliefs on different statements. Moreover, we provide an explicit analysis of a variety of commonly used large-scale network models.

     
    more » « less
  4. This article offers the construct unitizing predicates to name mental actions important for students’ reasoning about logic. To unitize a predicate is to conceptualize (possibly complex or multipart) conditions as a single property that every example has or does not have, thereby partitioning a universal set into examples and nonexamples. This explains the cognitive work that supports students to unify various statements with the same logical form, which is conventionally represented by replacing parts of statements with logical variables p or P(x). Using data from a constructivist teaching experiment with two undergraduate students, we document barriers to unitizing predicates and demonstrate how this activity influences students’ ability to render mathematical statements and proofs as having the same logical structure. 
    more » « less
  5. The research presented in this paper tested whether drawing concept maps changes how engineering students construct design problem statements and whether these differences are observable in their brains. The process of identifying and constructing problem statements is a critical step in engineering design. Concept mapping has the potential to expand the problem space that students explore through the attention given to the relationship between concepts. It helps integrate existing knowledge in new ways. Engineering students (n=66) were asked to construct a problem statement to improve mobility on campus. Half of these students were randomly chosen to first receive instructions about how to develop a concept map and were asked to draw a concept map about mobility systems on campus. The semantic similarity of concepts in the students’ problem statements, the length of their problem statements, and their neurocognition when developing their statements were measured. The results indicated that students who were asked to first draw concept maps produced a more diverse problem statement with less semantically similar words. The students who first developed concept maps also produce significantly longer problem statements. Concept mapping changed students’ neurocognition. The students who used concept mapping elicited less cognitive activation in their left prefrontal cortex (PFC) and more concentrated activation in their right PFC. The right PFC is generally associated with divergent thinking and the left PFC is generally associated with convergent and analytical thinking. These results provide new insight into how educational interventions, like concept mapping, can change students’ cognition and neurocognition. Better understanding how concept maps, and other tools, help students approach complex problems and the associated changes that occur in their brain can lay the groundwork for novel advances in engineering education that support new tools and pedagogy development for design. 
    more » « less