Students’ proof schemes for mathematical proving and disproving of propositions

Abstract Classification of students’ proof schemes offers insights into students’ mathematical proving. However, previous studies revealed little about finer progressions in students’ proving and barely examined their proof schemes involving counterexamples. This study examined students’ proof schemes through their considerations of examples and counterexamples and reasoning in Proof Constructions. From 480 proofs constructed by 60 Singapore secondary three (14–15 years old) students, classifications of schemes for Deductive-proof Construction and Proof-by-counterexample Construction were established as a progression through four phases. The former consisted of seven levels, spanning from irrelevant inferences to deductive proofs using formal representations. The latter consisted of six levels, spanning from irrelevant inferences to construction of a general set of counterexamples. The refined classifications revealed students’ progression through their sophisticated use of examples, counterexamples, and deductive inferences and that Proof Construction was knowledge-driven. Comparisons to previous classifications and the role of counterexamples in Proof Construction were discussed.

[1]  Robert C. Moore.  Making the transition to formal proof , 1994 .

[2]  J. Van Dormolen.  Learning to understand what giving a proof really means , 1977 .

[3]  P. N. Johnson-Laird,et al.  Rationality, memory and the search for counterexamples , 1985, Cognition.

[4]  E. Knuth,et al.  Undergraduate mathematics majors’ writing performance producing proofs and counterexamples about continuous functions , 2009 .

[5]  Rina Zazkis,et al.  What makes a counterexample exemplary? , 2008 .

[6]  Kenneth Ruthven,et al.  Proof Practices and Constructs of Advanced Mathematics Students , 1994 .

[7]  Susanna S. Epp.  The Role of Logic in Teaching Proof , 2003, Am. Math. Mon..

[8]  Eric J. Knuth,et al.  Secondary School Mathematics Teachers' Conceptions of Proof , 2002 .

[9]  Andreas J. Stylianides,et al.  Facilitating the Transition from Empirical Arguments to Proof. , 2009 .

[10]  V. Durand-Guerrier,et al.  Which notion of implication is the right one? From logical considerations to a didactic perspective , 2003 .

[11]  Imre Lakatos,et al.  On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[12]  O. Zaslavsky,et al.  HOW TO DECIDE? STUDENTS' WAYS OF DETERMINING THE VALIDITY OF MATHEMATICAL STATEMENTS , 2007 .

[13]  Orit Zaslavsky,et al.  Counter-Examples That (Only) Prove and Counter-Examples That (Also) Explain. , 1997 .

[14]  Raymond Duval,et al.  ARGUMENTER, DEMONTRER, EXPLIQUER CONTINUITE OU RUPTURE COGNITIVE? , 1993 .

[15]  P. Johnson-Laird,et al.  Propositional reasoning by model. , 1992, Psychological review.

[16]  Keith Weber,et al.  Student difficulty in constructing proofs: The need for strategic knowledge , 2001 .

[17]  John Mason,et al.  Mathematics as a Constructive Activity: Learners Generating Examples , 2005 .

[18]  Mikio Miyazaki.  Levels of Proof in Lower Secondary School Mathematics , 2000 .

[19]  L. Alcock,et al.  Proof validation in real analysis: Inferring and checking warrants , 2005 .

[20]  J. Piaget,et al.  Piaget and His School: A Reader in Developmental Psychology , 1976 .

[21]  Andreas J. Stylianides,et al.  Undergraduate students' understanding of the contraposition equivalence rule in symbolic and verbal contexts , 2004 .

[22]  Nicolas Balacheff.  Treatment of Refutations: Aspects of the Complexity of a Constructivist Approach to Mathematics Learning , 1991 .

[23]  C. Hoyles,et al.  A Study of Proof Conceptions in Algebra , 2000 .

[24]  Andreas J. Stylianides,et al.  Proof constructions and evaluations , 2009 .

[25]  Andreas J. Stylianides.  Proof and Proving in School Mathematics , 2007 .

[26]  H. Chick,et al.  Qualities of examples in learning and teaching , 2011 .

[27]  Dietmar Küchemann,et al.  Students' understandings of logical implication , 2002 .

[28]  Kotaro Komatsu.  Counter-examples for refinement of conjectures and proofs in primary school mathematics , 2010 .

[29]  Jean Piaget.  Piaget’s Theory , 1976 .

[30]  D. Chazan.  High school geometry students' justification for their views of empirical evidence and mathematical proof , 1993 .

[31]  J. Sandefur,et al.  Generating and using examples in the proving process , 2013 .

[32]  Annie Selden,et al.  Validations of proofs considered as texts: Can undergraduates tell whether an argument proves a theorem? , 2003 .

[33]  Martin A. Simon,et al.  Justification in the mathematics classroom: A study of prospective elementary teachers , 1996 .