MHF 4302 – MATHEMATICAL LOGIC                  FLORIDA INT'L UNIV.
        HOMEWORK SHEET   (Aug 18, 2004)                                       FALL 2004

        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