Students’ proof schemes for mathematical proving and disproving of propositions

Alcock, 2005, Proof validation in real analysis: Inferring and checking warrants, Journal of Mathematical Behavior, 24, 125, 10.1016/j.jmathb.2005.03.003 Balacheff, 1988, Aspects of Proof in pupils’ practice of school mathematics, 216 Balacheff, 1991, Treatment of refutations: Aspects of the complexity of a constructivist approach to mathematics learning, 89 Boero, 1999, Argumentation and mathematical proof: A complex, productive, unavoidable relationship in mathematics and mathematics education, International Newsletter on the Teaching and Learning of Mathematical Proof, 7 Buchbinder, 2007, How to decide? Students’ ways of determining the validity of mathematical statements CCSSO, 2010 Chazan, 1993, High school geometry students’ justification for their views of empirical evidence and mathematical proof, Educational Studies in Mathematics, 24, 359, 10.1007/BF01273371 Coe, 1994, Proof practices and constructs of advanced mathematics students, British Educational Research Journal, 20, 41, 10.1080/0141192940200105 Durand-Guerrier, 2003, Which notion of implication is the right one? From logical considerations to a didactic perspective, Educational Studies in Mathematics, 53, 5, 10.1023/A:1024661004375 Duval, 1993, Argumenter, Démontrer, Expliquer: Continuité ou Rupture Cognitive, Petit, 10, 37 Epp, 2003, The role of logic in teaching proof, American Mathematical Monthly, 110, 886, 10.1080/00029890.2003.11920029 Hanna, 1989, Proofs that prove and proofs that explain Harel, 1998, Students’ proof schemes: Results from exploratory studies, 234 Harel, 2007, Toward comprehensive perspectives on the learning and teaching of proof, Vol. 2, 805 Healy, 2000, A study of proof conceptions in algebra, Journal for Research in Mathematics Education, 31, 396, 10.2307/749651 Hoyles, 2002, Students’ understanding of logical implication, Educational Studies in Mathematics, 51, 193, 10.1023/A:1023629608614 Johnson-Laird, 1991 Johnson-Laird, 1992, Propositional reasoning by model, Psychological Review, 99, 418, 10.1037/0033-295X.99.3.418 Knuth, 2002, Secondary school mathematics teachers’ conceptions of proof, Journal for Research in Mathematics Education, 33, 379, 10.2307/4149959 Ko, 2009, Undergraduate mathematics majors’ writing performance producing proofs and counterexamples about continuous functions, Journal of Mathematical Behavior, 28, 68, 10.1016/j.jmathb.2009.04.005 Komatsu, 2010, Counter-examples for refinement of conjectures and proofs in primary school mathematics, Journal of Mathematical Behavior, 29, 1, 10.1016/j.jmathb.2010.01.003 Lakatos, 1976 Lin, 2005, Modeling students’ learning on mathematical proof and refutation Miyazaki, 2000, Levels of proof in lower secondary school mathematics, Educational Studies in Mathematics, 41, 47, 10.1023/A:1003956532587 Moore, 1994, Making the transition to formal proof, Educational Studies in Mathematics, 27, 249, 10.1007/BF01273731 NCTM, 2000 Oakhill, 1985, Rationality, memory and the search for counterexamples, Cognition, 20, 79, 10.1016/0010-0277(85)90006-X Peled, 1997, Counter-examples that (only) prove and counter-examples that (also) explain, Focus on Learning Problems in Mathematics, 19, 49 Piaget, 1974, Vol. 2 Piaget, 1976, Piaget's theory, 11 Sandefur, 2013, Generating and using examples in the proving process, Educational Studies in Mathematics, 83, 323, 10.1007/s10649-012-9459-x Selden, 2003, Validations of proofs considered as texts: Can undergraduates tell whether an argument proves a theorem?, Journal for Research in Mathematics Education, 34, 4, 10.2307/30034698 Simon, 1996, Justification in the mathematics classroom: A study of prospective elementary teachers, Journal of Mathematical Behavior, 15, 3, 10.1016/S0732-3123(96)90036-X Stylianides, 2007, Proof and proving in school mathematics, Journal for Research in Mathematics Education, 38, 289 Stylianides, 2009, Proof constructions and evaluations, Educational Studies in Mathematics, 72, 237, 10.1007/s10649-009-9191-3 Stylianides, 2009, Facilitating the transition from empirical arguments to proof, Journal for Research in Mathematics Education, 40, 314, 10.5951/jresematheduc.40.3.0314 Stylianides, 2004, Undergraduate students’ understanding of the contraposition equivalence rule in symbolic and verbal contexts, Educational Studies in Mathematics, 55, 133, 10.1023/B:EDUC.0000017671.47700.0b van Dormolen, 1977, Learning to understand what giving a proof really means, Educational Studies in Mathematics, 8, 27, 10.1007/BF00302502 Watson, 2011, Qualities of examples in learning and teaching, ZDM: The International Journal on Mathematics Education, 43, 283, 10.1007/s11858-010-0301-6 Watson, 2005 Weber, 2001, Student difficulty in constructing proofs: The need for strategic knowledge, Educational Studies in Mathematics, 48, 101, 10.1023/A:1015535614355 Zazkis, 2008, What makes a counterexample exemplary?, Educational Studies in Mathematics, 68, 195, 10.1007/s10649-007-9110-4