skip to main content

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Theo's Reinvention of the Logic of Conditional Statements' Proofs Rooted in Set-Based Reasoning
This report documents how one undergraduate student used set-based reasoning to reinvent logical principles related to conditional statements and their proofs. This learning occurred in a teaching experiment intended to foster abstraction of these logical relationships by comparing the predicate and inference structures among various proofs (in number theory and geometry). We document the progression of Theo’s emergent set-based model from a model-of the truth of statements to a model-for logical relationships. This constitutes some of the first evidence for how such logical concepts can be abstracted in this way and provides evidence for the viability of the learning progression that guided the instructional design.  more » « less
Award ID(s):
1954768
PAR ID:
10353072
Author(s) / Creator(s):
Editor(s):
Olanoff, D.
Date Published:
Journal Name:
Proceedings of the forty-third annual meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education
Page Range / eLocation ID:
518-527
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; ; ; ( , Proceedings of the Annual Conference on Research in Undergraduate Mathematics Education)
    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. ; ; ; ( , Psychology in Mathematics Education - North America)
    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
  3. ; ( , Journal for Research in Mathematics Education)
    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
  4. ; ; ; ( , Proceedings of the Forty-fifth Annual Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education. Reno, NV.)
    Understanding how students reason with logical implication is essential for supporting students’ construction of increasingly powerful ways of reasoning in proofs-based mathematics courses. We report on the results of an NSF-funded case study with a mathematics major enrolled in an introductory proofs course. We investigate the epistemological obstacles that she experienced and how they might relate to her treatment of logical implications as actions. Evidence shows that an action conception may pose challenges when students transform or quantify implications and may contribute to erroneous assumptions of biconditionality. Our report on available ways of operating with logical implications as actions is a first step in designing instructional tasks that leverage students’ existing reasoning skills to support their continued development. 
    more » « less
  5. ; ; ; ; ( , Proceedings of the Annual Conference on Research in Undergraduate Mathematics Education)
    Cook, S. ; Katz, B. ; Moore-Russo D. (Ed.)
    Learning to interpret proofs is an important milepost in the maturity and development of students of higher mathematics. A key learning objective in proof-based courses is to discern whether a given proof is a valid justification of its underlying claim. In this study, we presented students with conditional statements and associated proofs and asked them to determine whether the proofs proved the statements and to explain their reasoning. Prior studies have found that inexperienced provers often accept the proof of a statement’s converse and reject proofs by contraposition, which are both erroneous determinations. Our study contributes to the literature by corroborating these findings and suggesting a connection between students’ reading comprehension and proof validation behaviors and their beliefs about mathematical proof and mathematical knowledge base. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email