6Other logical notions
31Interpretations and models in QL
7Formal languages
32Semantics for identity
8Practice Exercises
33Working with models
92 Sentential logic
34Truth in QL
10Sentence letters
35Practice Exercises
11Connectives
366 Proofs
12Other symbolization
37Basic rules for SL
13Sentences of SL
38Derived rules
14Practice Exercises
39Rules of replacement
153 Truth tables
40Rules for quantifiers
16Truth-functional connectives
41Rules for identity
17Complete truth tables
42Proof strategy
18Using truth tables
43Proof-theoretic concepts
19Partial truth tables
44Proofs and models
20Practice Exercises
45Soundness and completeness
214 Quantified logic
46Practice Exercises
22From sentences to predicates
47Symbolic notation
23Building blocks of QL
48Solutions to selected exercises
24Quantifiers
49Quick Reference
25Translating to QL
