Book contents
- Frontmatter
- Contents
- Preface
- PART I First steps in logical reasoning
- 1 Starting points
- 2 Rules of proof
- 3 Natural deduction
- 4 Proof search
- 5 Classical natural deduction
- 6 Proof search in classical logic
- 7 The semantics of propositional logic
- Part II Logical reasoning with the quantifiers
- Part III Beyond pure logic
- Part IV Complementary topics
- Suggestions for the use of this book
- Further reading
- Bibliography
- Index of names
- Index of subjects
6 - Proof search in classical logic
Published online by Cambridge University Press: 05 June 2014
- Frontmatter
- Contents
- Preface
- PART I First steps in logical reasoning
- 1 Starting points
- 2 Rules of proof
- 3 Natural deduction
- 4 Proof search
- 5 Classical natural deduction
- 6 Proof search in classical logic
- 7 The semantics of propositional logic
- Part II Logical reasoning with the quantifiers
- Part III Beyond pure logic
- Part IV Complementary topics
- Suggestions for the use of this book
- Further reading
- Bibliography
- Index of names
- Index of subjects
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781139567862/resource/name/firstPage-9781139567862c6_p89-95_CBO.jpg)
- Type
- Chapter
- Information
- Elements of Logical Reasoning , pp. 89 - 95Publisher: Cambridge University PressPrint publication year: 2014