by Colin Allen and Michael Hand

© The MIT Press 1992-2020

This material here is provided for inspection purposes only. Reproduction by any means strictly prohibited.

To order the book use ISBN 0-262-51126-6

Visit the LOGIC DAEMON and QUIZMASTER

**Contents**

About the 3rd edition

Preface to 2nd edition

Preface (First edition)

Errata

**Chapter 1 Sentential Logic**

**1.1** Basic Logical Notions

**1.2** A Formal Language for Sentential Logic

**1.3** Translation of English to Sentential Wffs

**1.4** Primitive Rules of Proof

**1.5** Sequents and Derived Rules

**1.6** Theorems

**Chapter 2 Truth Tables**

**2.1** Truth Tables for Sentences

**2.2** Truth Tables for Sequents

**2.3** Tautologies

**2.4** Indirect TTs

**2.5** English Counterexamples

**Chapter 3 Predicate Logic**

**3.1** A Formal Language for Predicate Logic

**3.2** Translation of English to Quantified Wffs

**3.3** Primitive Rules of Proof

**3.4** Sequents, Theorems, and Derived Rules of Proof

**Chapter 4 Models**

**4.1** Finite Interpretations and Expansions with One-Place Predicates

**4.2** Finite Countermodels for Arguments with One-Place Predicates

**4.3** Finite Countermodels for Arguments with Many-Place Predicates

**4.4** Finite Countermodels for Arguments with Identity

**4.5** Infinite Countermodels

**Answers to Selected Exercises**