Skip to content.
forall x: Calgary
Preface
I
Key notions of logic
II
Truth-functional logic
III
Truth tables
IV
Natural deduction for TFL
16
The very idea of natural deduction
17
Basic rules for TFL
18
Constructing proofs
19
Additional rules for TFL
20
Proof-theoretic concepts
21
Derived rules
22
Soundness and completeness
V
First-order logic
VI
Interpretations
VII
Natural deduction for FOL
VIII
Modal logic
IX
Metatheory
Appendices
Natural deduction for TFL
Part IV
Natural deduction for TFL
16
The very idea of natural deduction
17
Basic rules for TFL
18
Constructing proofs
19
Additional rules for TFL
20
Proof-theoretic concepts
21
Derived rules
22
Soundness and completeness