TEXTBOOK:
Introduction to Mathematical Logic
by E. Mendelson, 4th edition, 1997
HW
ANSWERS:
Answers & Hints: Mathematical Logic (MHF 4302),
RESB 306.04 (Circulation desk, UP Library)
These are the homework
problems
for the entire course. Later on in the semester,
a few problems may be added
and a few may be deleted.
Ch. 1 - PROPOSITIONAL LOGIC:
Sec.
1
Nos. 1, 2a-b, 3a-b, 4 a-i
Sec.
2
Nos. 5a-j, 6a-g, 8, 9, 11a-i,
13a-i,
19a-j, 2-a-h, 21,
22a-c, 23a-d, 24a-d, 25 a-b, 27a-r,
29a-c,
30a,
321a-b, 32a-c, 33a-i, 34a-c, 35a-b
Sec.
3
Nos. 36, 37a-b, 38a-c, 40a-b,
42, 43
Sec.
4
Nos. 47a-d, 48a-c, 50, 64, 65
Ch. 2 - PREDICATE LOGIC
Sec.
1
Nos. 3a-c, 5, 6a-f, 8a-p, 9a-e
Sec.
2
Nos. 10i-iii, 11a-d, 12, 13,
14a-f,
15a-e, 17a-b,
18a-b, 121a-h, 22a-h, 23a-c, 24a-d, 26a-b
Sec. 3-6
Nos.
27a, 31a, 32a, 36a-c, 37a(i), 39,
46a-b
Sec.
7
Nos. 49, 51, 54, 55,
56a-b,
57, 59
Sec.
8
Nos. 65c, 70a, 71a-b, 72a-b
Sec. 9-12
Nos.
83a-b, 84a-b, 85a-b, 99a
Ch. 3 - FORMAL NUMBER THEORY:
Sec.
1
Nos. 4, 6
Sec.
2
Nos. 9a-c, 10, 14a-c
Sec.
3
Nos. 17a-b, 18, 19a-b, 20, 21a-b, 22, 23, 26,
29
Sec. 4-5
Nos.
32a-e, 34a-b, 41, 48, 49