# On the analysis of indirect proofs: contradiction and contraposition

Article

Jourdan, Nicolas and Yevdokimov, Oleksiy. 2016. "On the analysis of indirect proofs: contradiction and contraposition."

*Australian Senior Mathematics Journal.*30 (1), pp. 55-64.Article Title | On the analysis of indirect proofs: contradiction and contraposition |
---|---|

ERA Journal ID | 40314 |

Article Category | Article |

Authors | Jourdan, Nicolas (Author) and Yevdokimov, Oleksiy (Author) |

Journal Title | Australian Senior Mathematics Journal |

Journal Citation | 30 (1), pp. 55-64 |

Number of Pages | 10 |

Year | 2016 |

Place of Publication | Australia |

ISSN | 0819-4564 |

Web Address (URL) | http://search.informit.com.au/fullText;dn=194806158730078;res=IELHSS |

Abstract | Proof by contradiction is a very powerful mathematical technique. The aim of the paper is to describe a general model of proof by contradiction and investigate the theoretical foundations of proof by contradiction. |

Keywords | indirect proof; contradiction; contraposition |

ANZSRC Field of Research 2020 | 499999. Other mathematical sciences not elsewhere classified |

490399. Numerical and computational mathematics not elsewhere classified | |

390109. Mathematics and numeracy curriculum and pedagogy | |

Public Notes | Files associated with this item cannot be displayed due to copyright restrictions. |

Byline Affiliations | University of Southern Queensland |

Institution of Origin | University of Southern Queensland |

Permalink -

https://research.usq.edu.au/item/q4546/on-the-analysis-of-indirect-proofs-contradiction-and-contraposition

##### 1136

total views##### 7

total downloads##### 2

views this month##### 0

downloads this month

## Export as

## Related outputs

##### Minimising mathematical anxiety in teaching mathematics and assessing studentâ€™s work

Yevdokimov, Oleksiy. 2021. "Minimising mathematical anxiety in teaching mathematics and assessing studentâ€™s work." Kollosche, David (ed.)*11th International Mathematics Education and Society Conference: Exploring new ways to connect (2021).*Virtual Germany.

##### Links between problems and their role in students' preparation for mathematical contests

Yevdokimov, Oleksiy. 2010. "Links between problems and their role in students' preparation for mathematical contests." Avotina, Maruta, Bonca, Dace, Falk de Losada, Maria, Ramana, Liga and Soifer, Alexander (ed.)*WFNMC6: 6th Congress of the World Federation of National Mathematics Competitions.*Riga, Latvia 25 - 31 Jul 2010 Australia.

##### Problem set 12

Yevdokimov, Oleksiy. 2013. "Problem set 12."*Australian Senior Mathematics Journal.*27 (2), pp. 63-63.

##### Problem set 11

Yevdokimov, Oleksiy. 2013. "Problem set 11."*Australian Senior Mathematics Journal.*27 (1), pp. 64-64.

##### Problem set 8

Yevdokimov, Oleksiy. 2011. "Problem set 8."*Australian Senior Mathematics Journal.*25 (2), pp. 63-63.

##### Problem set 7

Yevdokimov, Oleksiy. 2011. "Problem set 7."*Australian Senior Mathematics Journal.*25 (1), pp. 64-64.

##### Problem set 6

Yevdokimov, Oleksiy. 2010. "Problem set 6."*Australian Senior Mathematics Journal.*24 (2), pp. 64-64.

##### Problem set 5

Yevdokimov, Oleksiy. 2010. "Problem set 5."*Australian Senior Mathematics Journal.*24 (1), pp. 64-64.

##### Problem set 9

Yevdokimov, Oleksiy. 2012. "Problem set 9 ."*Australian Senior Mathematics Journal.*26 (1), pp. 64-64.

##### Problem set 10

Yevdokimov, Oleksiy. 2012. "Problem set 10."*Australian Senior Mathematics Journal.*26 (2), pp. 63-63.

##### Notes about teaching mathematics as relationships between structures: a short journey from early childhood to higher mathematics

Yevdokimov, Oleksiy. 2012. "Notes about teaching mathematics as relationships between structures: a short journey from early childhood to higher mathematics."*The De Morgan Journal.*2 (1), pp. 69-83.

##### Cognitive development of proof

Tall, David, Yevdokimov, Oleksiy, Koichu, Boris, Whiteley, Walter, Kondratieva, Margo and Cheng, Ying-Hao. 2012. "Cognitive development of proof." Hanna, Gila and de Villiers, Michael (ed.)*Proof and proving in mathematics education*. Dordrecht, Germany. Springer. pp. 13-49

##### On creating a 'free of anxiety' assessment environment for students with special needs

Yevdokimov, Oleksiy. 2011. "On creating a 'free of anxiety' assessment environment for students with special needs ."*NORSMA6: New Trends in Special Needs Education in Mathematics: Problems and Possibilities.*Kristiansand, Norway 02 - 04 Nov 2011 Kristiansand, Norway.

##### Problem set 4

Yevdokimov, Oleksiy. 2009. "Problem set 4."*Australian Senior Mathematics Journal.*23 (2), pp. 63-63.

##### Problem set 3

Yevdokimov, Oleksiy. 2009. "Problem set 3."*Australian Senior Mathematics Journal.*23 (1), pp. 63-63.

##### On the nature of mathematical education of engineers: identifying hidden obstacles and potential for improvement

Yevdokimov, Oleksiy. 2008. "On the nature of mathematical education of engineers: identifying hidden obstacles and potential for improvement." Alpers, Burkhard, Hibberd, Stephen, Lawson, Duncan, Mustoe, Leslie and Robinson, Carol (ed.)*2008 Mathematical Education of Engineers Conference .*Loughborough, United Kingdom 06 - 09 Apr 2008 Loughborough, UK.

##### Higher order reasoning produced in proof construction: how well do secondary school students explain and write mathematical proofs?

Yevdokimov, Oleksiy. 2009. "Higher order reasoning produced in proof construction: how well do secondary school students explain and write mathematical proofs?" Lin, Fou-Lai, Hsieh, Feng-Jui, Hanna, Gila and de Villiers, Michael (ed.)*ICMI Study 19 Working Conference: Proof and Proving in Mathematics Education.*Taipei, Taiwan 10 - 15 May 2009 Taipei.

##### Theoretical perspectives of the process of making conjectures [in Spanish]

Canadas, Maria, Deulofeu, Jordi, Figueiras, Lourdes, Reid, David A. and Yevdokimov, Oleksiy. 2008. "Theoretical perspectives of the process of making conjectures [in Spanish]."*Ensenanza de las Ciencias.*26 (3), pp. 431-444.

##### Making generalisations in geometry: students' views on the process: a case study

Yevdokimov, Oleksiy. 2008. "Making generalisations in geometry: students' views on the process: a case study." Figueras, Olimpia, Cortina, Jose Luis, Alatorre, Silvia, Rojano, Teresa and Sepulveda, Armando (ed.)*2008 Annual Conference for the Psychology of Mathematics Education (PME 32): Mathematical Ideas: History, Education and Cognition.*Morelia, Mexico 17 - 21 Jul 2008 Morelia, Mexico.

##### Notes on 'perpetual question' of problem solving: how can learners best be taught problem-solving skills?

Yevdokimov, Oleksiy and Taylor, Peter. 2008. "Notes on 'perpetual question' of problem solving: how can learners best be taught problem-solving skills?"*Journal of the Korean Society of Mathematical Education Series D: Research in Mathematical Education.*12 (3), pp. 179-191.

##### Problem set 2

Yevdokimov, Oleksiy. 2008. "Problem set 2."*Australian Senior Mathematics Journal.*22 (2), pp. 63-64.

##### Problem set 1

Yevdokimov, Oleksiy. 2008. "Problem set 1."*Australian Senior Mathematics Journal.*22 (1), pp. 63-64.

##### Problem solving activities in a constructivist framework: exploring how students approach difficult problems

Yevdokimov, Oleksiy and Passmore, Tim. 2008. "Problem solving activities in a constructivist framework: exploring how students approach difficult problems." Goos, Merrilyn, Brown, Ray and Makar, Katie (ed.)*31st Annual Conference of the Mathematics Education Research Group of Australasia (MERGA 31).*Brisbane, Australia 28 Jun - 01 Jul 2008 Adelaide, Australia.

##### The conjecturing process: perspectives in theory and implications in practice

Yevdokimov, Oleksiy, Canadas, Maria, Deulofeu, Jordi, Figueiras, Lourdes and Reid, David. 2007. "The conjecturing process: perspectives in theory and implications in practice."*Journal of Teaching and Learning.*5 (1), pp. 55-72.

##### Asymptotically accurate flow completion time distributions under fair queueing

Addie, R. G. and Yevdokimov, Oleksiy. 2008. "Asymptotically accurate flow completion time distributions under fair queueing." Green, Richard (ed.)*Australasian Telecommunication Networks and Applications Conference (ATNAC 2007): Next Generation Networks: Enabling Closer International Cooperation.*Christchurch, New Zealand 02 - 05 Dec 2007 Piscataway, NJ. United States. https://doi.org/10.1109/ATNAC.2007.4665290

##### Secondary-tertiary transition: what mathematics skills can and should we expect this decade?

Jourdan, Nic, Cretchley, Patricia and Passmore, Tim. 2007. "Secondary-tertiary transition: what mathematics skills can and should we expect this decade?" Watson, Jane and Beswick, Kim (ed.)*MERGA 30: Annual conference of the Mathematics Education Research Group of Australasia (MERGA30).*Hobart, Australia 02 - 06 Jul 2007 Adelaide, South Australia.

##### Using the history of mathematics for mentoring gifted students: Notes for teachers

Yevdokimov, Oleksiy. 2007. "Using the history of mathematics for mentoring gifted students: Notes for teachers." Milton, Ken, Reeves, Howard and Spencer, Toby (ed.)*The 21st Biennial Conference of the Australian Association of Mathematics Teachers Inc..*Hobart, Australia 06 - 09 Jul 2007 Adelaide, Australia.

##### Inquiry activities in a classroom: extra-logical processes of illumination vs logical process of deductive and inductive reasoning. A case study

Yevdokimov, Oleksiy. 2006. "Inquiry activities in a classroom: extra-logical processes of illumination vs logical process of deductive and inductive reasoning. A case study ." Novotna, Jarmila, Stehlikova, Nada, Kratka, Magdalena and Moraova, Hana (ed.)*30th Conference of the International Group for the Psychology of Mathematics Education.*Prague, Czech Republic 16 - 21 Jul 2006 Prague, Czech Republic.

##### Using materials from the history of mathematics in discovery-based learning

Yevdokimov, Oleksiy. 2006. "Using materials from the history of mathematics in discovery-based learning ." Furinghetti, Fulvia, Kaijser, Sten and Tzanakis, Constantinos (ed.)*ICME 10 Satellite Meeting of the International Study Group on the Relations between the History and Pedagogy of Mathematics.*Uppsala, Sweden 12 - 17 Jul 2004 Heraclion, Greece.

##### About a constructivist approach for stimulating students' thinking to produce conjectures and their proving in active learning of geometry

Yevdokimov, Oleksiy. 2006. "About a constructivist approach for stimulating students' thinking to produce conjectures and their proving in active learning of geometry." Bosch, Marianna, Perpinan, Marta and Portabella, M. Angels (ed.)*4th Congress of the European Society for Research in Mathematics Education.*Sant Feliu de Guixols, Spain 17 - 21 Feb 2005 Barcelona, Spain.

##### On development of students' abilities in problem posing: a case of plan geometry

Yevdokimov, Oleksiy. 2005. "On development of students' abilities in problem posing: a case of plan geometry ." Gagatsis, Athanasios, Spagnolo, Filippo, Makrides, Gregory and Farmaki, Vassiliki (ed.)*4th Mediterranean Conference on Mathematics Education.*Palermo, Italy 28 - 30 Jan 2005 Palermo, Italy.

##### Protecting small flows from large ones for quality of service

Addie, R. G., Yevdokimov, Oleksiy, Braithwaite, Stephen and Millsom, David. 2007. "Protecting small flows from large ones for quality of service." Bernstein, David, Dini, Petre, Hladka, Eva, Reza, Hassan, Romascanu, Dan and Sankar, Krishna (ed.)*2nd International Conference on Digital Telecommunications (ICDT 2007).*San Jose, United States 01 - 06 Jul 2007 Piscataway, NJ. United States. https://doi.org/10.1109/ICDT.2007.68