forall x: Calgary
Preface
I
Key notions of logic
II
Truth-functional logic
III
Truth tables
IV
Natural deduction for TFL
V
First-order logic
23
Building blocks of FOL
24
Sentences with one quantifier
25
Multiple generality
26
Identity
27
Sentences of FOL
28
Definite descriptions
29
Ambiguity
VI
Interpretations
VII
Natural deduction for FOL
VIII
Modal logic
IX
Metatheory
Appendices
First-order logic
Part V
First-order logic
23
Building blocks of FOL
24
Sentences with one quantifier
25
Multiple generality
26
Identity
27
Sentences of FOL
28
Definite descriptions
29
Ambiguity