Skip to content.
forall x: Calgary
Preface
I
Key notions of logic
II
Truth-functional logic
III
Truth tables
9
Characteristic truth tables
10
Truth-functional connectives
11
Complete truth tables
12
Semantic concepts
13
Limitations of TFL
14
Truth table shortcuts
15
Partial 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 tables
Part III
Truth tables
9
Characteristic truth tables
10
Truth-functional connectives
11
Complete truth tables
12
Semantic concepts
13
Limitations of TFL
14
Truth table shortcuts
15
Partial truth tables