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
VI
Interpretations
30
Extensionality
31
Truth in FOL
32
Semantic concepts
33
Using interpretations
34
Reasoning about interpretations
35
Properties of relations
VII
Natural deduction for FOL
VIII
Modal logic
IX
Metatheory
Appendices
Interpretations
Part VI
Interpretations
30
Extensionality
31
Truth in FOL
32
Semantic concepts
33
Using interpretations
34
Reasoning about interpretations
35
Properties of relations