Name:

NIM:

Class:

Assignment 5: Set Theory

Mathematical Logic - A (MSH1B3)
First Term 2016-2017
Instructions:
1. This assignment is due Wednesday December 7 at 5:00 p.m.. Please submit your work at School
of Computing academic roster (roster akademik Fakultas Informatika), room A203A (building A room
A203A). Do not forget to write your identity on the space provided. You may submit this assignment as
of Monday December 5 at 8:00 a.m..
2. In order to prevent any academic misconduct, you also need to submit a readable scan or photograph of
this assignment to the provided submission slot in IDEA. Please contact your class instructor for more
detailed information. The due date of this online submission is the same as the hardcopy. Please make
sure that your file size do not exceed the maximum file size allowed.
3. To save paper, you may print and reproduce this assignment double-sided.
4. Your answers should be handwritten. You may use: HB or 2B pencil, or pen with blue or black ink.
5. All problems in this assignment are adapted from the textbooks. The problems are written in English.
If you are a student in a regular class, you may answer the problems in Bahasa. However, if you are a
student in international class, your answers must be written in English otherwise your assignment will
not be graded. You may ask your class instructor or teaching assistant for helping you understanding the
problem, but you should not ask them to give the solution of any problem.
6. Write your solutions on the space provided. If you need more space, you may use additional A4 papers
and attach them to your assignment.
7. Be neat and write legibly. You will be graded not only on the correctness of your answers, but also on
the clarity with which you express them.
8. This assignment consists of 9 problems, Problems 6 and 9 are worth 15 points, other problems are worth
10 points.
9. Please retain yourself from copying answers from elsewhere without understanding the steps. This
assignment is an individual evaluation.
10. Important: late submission without reasonable explanation will not be graded.

page 1 of 10

Problem 1 (10 points) Rewrite each of these sets by listing all of its members.
(a). [2.5 points] A = x 2 R : x2 = 1 .
(b). [2.5 points] B = fx 2 Z : x is positive and x

10g.

(c). [2.5 points] C = fx 2 Z+ : x is a square of an integer and x < 100 g.

(d). [2.5 points] D = x 2 Z : x2 = 2 .
A NSWER :

page 2 of 10

Name:

NIM:

Class:

Problem 2 (10 points) For each of the following sets, determine whether the number 2 is an element of
that set.
(a). [2 points] A = fx 2 Z : x > 1g.
(b). [2 points] B = x 2 Z : x = y 2 for some y 2 Z .
(c). [2 points] C = f2; f2gg.
(d). [2 points] D = ff2g ; ff2ggg.
(e). [2 points] E = ff2g ; f2; f2ggg.
A NSWER :

page 3 of 10

Problem 3 (10 points) Determine whether each of these statements is true or false, provide a concise explanation.
(a). [2 points] 0 2 ;.
(b). [2 points] ; 2 f0g.
(c). [2 points] ;

f0g.

(d). [2 points] f0g

f0g.

(e). [2 points] f;g

f;g.

A NSWER :

page 4 of 10

Name:

NIM:

Class:

Problem 4 (10 points) Determine the power set of each of these sets, where a and b are distinct elements.
(a). [2.5 points] A = fag.
(b). [2.5 points] B = fa; bg.
(c). [2.5 points] C = f;; ag.
(d). [2.5 points] D = f;; f;gg.
A NSWER :

page 5 of 10

Problem 5 (10 points) Determine the cardinality of each of the following sets, where P (X) denotes the
power set of the set X.

(a). [2.5 points] P (fag).

(b). [2.5 points] P (fa; b; fa; bgg).
(c). [2.5 points] P (f;; a; fag ; ffaggg).
(d). [2.5 points] P (P (;)).
A NSWER :

page 6 of 10

Name:

NIM:

Class:

Problem 6 (15 points) Given the universal set U = fa; b; c; d; eg, a set A = fa; b; cg, a set B = fb; c; dg,
and a set C = fb; c; eg. Determine:
(a). [3 points] A [ B [ C
C

(b). [3 points] (A \ B \ C) , where X C denotes the complement of a set X with respect to the universal
set U .

(c). [3 points] (A r B) r C, where X r Y denotes the difference of X and Y .

(d). [3 points] A r (B r C).
(e). [3 points] (A

B)

C, where X

Y is defined as a set (X [ Y ) r (X \ Y ).

A NSWER :

page 7 of 10

Problem 7 (10 points) Given the universal set Z. For every non-negative integer k, a set Ak is defined as
Ak = f2k; 2k + 2; 2k + 4; :::g , for k 2 N
and a set Bk is defined as
Bk = f1; 2; : : : ; kg , for k 2 N.
Determine the following sets:
(a). [2.5 points]

2016
S

Ak

k=1

(b). [2.5 points]

2016
T

Ak

k=1

(c). [2.5 points]

2016
S

Bk

k=1

(d). [2.5 points]

2016
T

Bk

k=1

A NSWER :

page 8 of 10

Name:

NIM:

Class:

Problem 8 (10 points) There are 345 students at a college who have taken a course in Calculus, 212 who
have taken a course in Mathematical Logic, and 188 who have taken courses in both Calculus and Mathematical Logic. How many students have taken a course in either Calculus or Mathematical Logic (or
both)?
A NSWER :

page 9 of 10

Problem 9 (15 points) There are 2504 computer science students at a school. Of these, 1876 have taken a
course in Java, 999 have taken a course in Linux, and 345 have taken a course in C. Further, 876 have taken
courses in both Java and Linux, 231 have taken courses in both Linux and C, and 290 have taken courses in
both Java and C. If 189 of these students have taken courses in Linux, Java, and C, how many of these 2504
students have not taken a course in any of these three programming languages?
A NSWER :

page 10 of 10