Logic Primer

Front Cover
MIT Press, 2001 - Computers - 191 pages
0 Reviews

Logic Primer presents a rigorous introduction to naturaldeduction systems of sentential and first-order logic. The text is designed to foster thestudent-instructor relationship. The key concepts are laid out in concise definitions and comments,with the expectation that the instructor will elaborate upon them. New to the second edition is theaddition of material on the logic of identity in chapters 3 and 4. An innovative interactive Website, consisting of a "Logic Daemon" and a "Quizmaster," encourages students to formulate their ownproofs and links them to appropriate explanations in the book.

  

What people are saying - Write a review

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

Contents

Sentential Logic
1
12 A Formal Language for Sentential Logic
3
13 Translation of English to Sentential Wffs
10
14 Primitive Rules of Proof
17
15 Sequents and Derived Rules
28
16 Theorems
35
Truth Tables
39
22 Truth Tables for Sequents
43
33 Primitive Rules of Proof
76
34 Sequents Theorems and Derived Rules of Proof
89
Models
93
42 Finite Countermodels for Arguments with OnePlace Predicates without Identity
99
43 Finite Countermodels for Arguments with ManyPlace Predicates without Identity
102
44 Finite Countermodels with Identity
107
45 Infinite Countermodels
110
Answers to Selected Exercises
113

23 Tautologies
46
24 Indirect Truth Tables
49
25 English Counterexamples
53
Predicate Logic
57
32 Translation of English to Quantified Wffs
67
Chapter 2
155
Chapter 3
161
Chapter 4
181
Index
189
Copyright

Common terms and phrases

References to this book

All Book Search results »

About the author (2001)

Michael Hand is Professor of Philosophy at Texas A&M University.

Bibliographic information