forall x: Calgary
Preface
I
Key notions of logic
II
Truth-functional logic
4
First steps to symbolization
5
Connectives
6
Sentences of TFL
7
Ambiguity
8
Use and mention
III
Truth tables
IV
Natural deduction for TFL
V
First-order logic
VI
Interpretations
VII
Natural deduction for FOL
VIII
Modal logic
IX
Metatheory
Appendices
Truth-functional logic
Part II
Truth-functional logic
4
First steps to symbolization
5
Connectives
6
Sentences of TFL
7
Ambiguity
8
Use and mention