Abstract
After analysing the skeleton of a mathematical proof, we survey the typical forms of a mathematical argument: implications, conjunctions, contradiction, the use of counterexamples to disprove statements. Then we turn to the effective delivery of an argument. We present examples of poorly written proofs; they are analysed in detail and then re-written with improved coherence, clarity, and style.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Abbreviation for the Latin quod erat demonstrandum, meaning ‘which had to be demonstrated’.
- 2.
If a prime divides the product of two integers, then it divides one of the factors.
- 3.
This result, known as Wilson’s theorem, was first formulated by Bhaskara (a 7\(^{\text {th}}\) Century Indian mathematician) and first proved by Lagrange.
- 4.
This phenomenon has deep roots, see [9, p. 155].
- 5.
Christian Goldbach (German: 1690–1764).
- 6.
Latin for ‘it does not follow’.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer-Verlag London
About this chapter
Cite this chapter
Vivaldi, F. (2014). Forms of Argument. In: Mathematical Writing. Springer Undergraduate Mathematics Series. Springer, London. https://doi.org/10.1007/978-1-4471-6527-9_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-6527-9_7
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-6526-2
Online ISBN: 978-1-4471-6527-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)