Book contents
- Frontmatter
- Contents
- Preface
- PART I First steps in logical reasoning
- Part II Logical reasoning with the quantifiers
- 8 The quantifiers
- 9 Derivations in predicate logic
- 10 The semantics of predicate logic
- 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
9 - Derivations in predicate logic
Published online by Cambridge University Press: 05 June 2014
- Frontmatter
- Contents
- Preface
- PART I First steps in logical reasoning
- Part II Logical reasoning with the quantifiers
- 8 The quantifiers
- 9 Derivations in predicate logic
- 10 The semantics of predicate logic
- 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-9781139567862c9_p129-151_CBO.jpg)
- Type
- Chapter
- Information
- Elements of Logical Reasoning , pp. 129 - 151Publisher: Cambridge University PressPrint publication year: 2014