## 100% mathematical proofProof" has been & remains one of the concepts which characterises mathematics. Covering basic propositional & predicate logic as well as discussing axiom systems & formal proofs, the book seeks to explain what mathematicians understand by proofs & how they are communicated. The authors explore the principle techniques of direct & indirect proof including induction, existence & uniqueness proofs, proof by contradiction, constructive & non-constructive proofs, etc. Many examples from analysis & modern algebra are included. The exceptionally clear style & presentation ensures that the book will be useful & enjoyable to those studying & interested in the notion of mathematical "proof. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Propositional Logic | 15 |

Predicate Logic | 63 |

Axiom Systems and Formal Proof | 89 |

Direct Proof | 121 |

Variations | 167 |

Existence and Uniqueness Proofs | 185 |

Further Proof Techniques | 209 |

Mathematical Induction | 239 |

Some Definitions and Terminology | 265 |

References and Further Reading | 273 |

Index | 313 |

Copyright | |