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
VIII
Modal logic
IX
Metatheory
Appendices
Solutions to selected exercices
1
Arguments
2
The scope of logic
3
Other logical notions
5
Connectives
6
Sentences of TFL
7
Ambiguity
11
Complete truth tables
12
Semantic concepts
14
Truth table shortcuts
15
Partial truth tables
17
Basic rules for TFL
19
Additional rules for TFL
20
Proof-theoretic concepts
21
Derived rules
22
Soundness and completeness
24
Sentences with one quantifier
25
Multiple generality
26
Identity
27
Sentences of FOL
28
Definite descriptions
29
Ambiguity
31
Truth in FOL
32
Semantic concepts
33
Using Interpretations
35
Properties of relations
36
Basic rules for FOL
38
Conversion of quantifiers
39
Rules for identity
40
Derived rules
43
Natural deduction for ML
44
Semantics for ML
45
Normal forms
47
Proving equivalences
Solutions to selected exercices
1
Arguments
2
The scope of logic
3
Other logical notions
5
Connectives
6
Sentences of TFL
7
Ambiguity
11
Complete truth tables
12
Semantic concepts
14
Truth table shortcuts
15
Partial truth tables
17
Basic rules for TFL
19
Additional rules for TFL
20
Proof-theoretic concepts
21
Derived rules
22
Soundness and completeness
24
Sentences with one quantifier
25
Multiple generality
26
Identity
27
Sentences of FOL
28
Definite descriptions
29
Ambiguity
31
Truth in FOL
32
Semantic concepts
33
Using Interpretations
35
Properties of relations
36
Basic rules for FOL
38
Conversion of quantifiers
39
Rules for identity
40
Derived rules
43
Natural deduction for ML
44
Semantics for ML
45
Normal forms
47
Proving equivalences