Skip to content.
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
VII
Natural deduction for FOL
36
Basic rules for FOL
37
Proofs with quantifiers
38
Conversion of quantifiers
39
Rules for identity
40
Derived rules
41
Proofs and semantics
VIII
Modal logic
IX
Metatheory
Appendices
Natural deduction for FOL
Part VII
Natural deduction for FOL
36
Basic rules for FOL
37
Proofs with quantifiers
38
Conversion of quantifiers
39
Rules for identity
40
Derived rules
41
Proofs and semantics