Paul Teller, A modern formal logic primer, Prentice Hall, 1989
Preface


The copyright for this book has returned to the author
It is now freely available at this site at UC  Davis
The files can also be accessed below


Volume 1
Propositional logic
Contents
1
2
3
4
5
N/A
6
N/A
7
N/A
8
Truth trees
9
Truth trees
Index
Answers






Volume 2
First-order logic
Contents
1
Syntax
2
Semantics
3
Quantifiers
4
N/A
5
N/A
6
N/A
7
Truth trees
8
Truth trees
9
Equality
and
terms
10
N/A
11
Induction
12
Soundness
and
Completeness
for PL

13
N/A
14
Koenig's lemma
15
Soundness
and
Completeness
for FOL

Index
Answers
Corrections

Comments refer to the course F17LP logic and proof
Chapters in blue contain material covered in this course
Chapters in purple contain material extending this course and would form the basis for further study
The material marked N/A introduces topics not touched on in this course such as natural deduction


Return to previous page