Proof has been, and remains, one of the concepts which characterizes mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, this text seeks to explain what mathematicians understand by proofs and how they are communicated. The authors explore the principal techniques of direct and indirect proof including induction, existence and uniqueness proofs, proof by contradiction, and constructive and non-constructive proofs. Many examples of proofs are presented and some common student errors are explained. The exercises assume only a secondary school background in mathematics, although examples from analysis and modern algebra are included.
- ISBN10 0471961981
- ISBN13 9780471961987
- Publish Date 14 June 1996
- Publish Status Out of Print
- Out of Print 27 September 2000
- Publish Country GB
- Publisher John Wiley and Sons Ltd
- Imprint John Wiley & Sons Ltd
- Format Hardcover
- Pages 326
- Language English