On the analysis of indirect proofs: contradiction and contraposition

Jourdan, Nicolas and Yevdokimov, Oleksiy (2016) On the analysis of indirect proofs: contradiction and contraposition. Australian Senior Mathematics Journal, 30 (1). pp. 55-64. ISSN 0819-4564

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.

Statistics for this ePrint Item

Item Type:	Article (Commonwealth Reporting Category C)
Refereed:	Yes
Item Status:	Live Archive
Additional Information:	Files associated with this item cannot be displayed due to copyright restrictions.
Faculty/School / Institute/Centre:	Historic - Faculty of Health, Engineering and Sciences - School of Agricultural, Computational and Environmental Sciences (1 Jul 2013 - 5 Sep 2019)
Faculty/School / Institute/Centre:	Historic - Faculty of Health, Engineering and Sciences - School of Agricultural, Computational and Environmental Sciences (1 Jul 2013 - 5 Sep 2019)
Date Deposited:	22 Aug 2017 01:42
Last Modified:	19 Jul 2022 00:11
Uncontrolled Keywords:	indirect proof; contradiction; contraposition
Fields of Research (2008):	01 Mathematical Sciences > 0199 Other Mathematical Sciences > 019999 Mathematical Sciences not elsewhere classified 01 Mathematical Sciences > 0103 Numerical and Computational Mathematics > 010399 Numerical and Computational Mathematics not elsewhere classified 13 Education > 1302 Curriculum and Pedagogy > 130208 Mathematics and Numeracy Curriculum and Pedagogy
Fields of Research (2020):	49 MATHEMATICAL SCIENCES > 4999 Other mathematical sciences > 499999 Other mathematical sciences not elsewhere classified 49 MATHEMATICAL SCIENCES > 4903 Numerical and computational mathematics > 490399 Numerical and computational mathematics not elsewhere classified 39 EDUCATION > 3901 Curriculum and pedagogy > 390109 Mathematics and numeracy curriculum and pedagogy
Socio-Economic Objectives (2008):	E Expanding Knowledge > 97 Expanding Knowledge > 970101 Expanding Knowledge in the Mathematical Sciences
URI:	http://eprints.usq.edu.au/id/eprint/32760

Actions (login required)

Archive Repository Staff Only