search for books and compare prices
Tables of Contents for Beginning Logic
Chapter/Section Title
Page #
Page Count
Preface
vii
The Propositional Calculus 1
The nature of logic
1
4
Conditionals and negation
5
14
Conjunction and disjunction
19
9
The biconditional
28
6
Further proofs: resume of rules
34
8
The Propositional Calculus 2
Introduction
42
1
Formation rules
42
7
Theorems and derived rules
49
15
Truth-tables
64
11
The consistency of the propositional calculus
75
8
The completeness of the propositional calculus
83
9
The Predicate Calculus 1
Logical form: `all' and `some'
92
12
The universal quantifier
104
7
The existential quantifier
111
6
Elementary valid sequents with quantifiers
117
11
General quantifier arguments
128
10
The Predicate Calculus 2
Formation rules and rules of derivation
138
10
Substitution, derived rules, consistency, and completeness
148
11
Identity
159
9
The syllogism
168
11
Properties of relations
179
10
Appendix A Normal forms
189
12
Appendix B The elementary theory of classes
201
10
Bibliography
211
4
List of Logical Symbols and Abbreviations with Main Text References
215
2
Index
217