Name:

NIM:

Class:

Assignment 3: Proof Methods

Mathematical Logic - A (MSH1B3)
First Term 2016-2017
Instructions:
1. This assignment is due Thursday November 17 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 November 14 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 6 problems, Problems 1 and 2 worth 25 points, Problems 3, 4, and 5 worth
10 points, and Problem 6 worth 20 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 7

Problem 1 (25 points) Suppose a is an even integer and b is an odd integer. Determine the parity (i.e.,
whether the integer is even or odd) of each of these following integers. Justify your answer using mathematical proofs.
Part

A NSWER :

page 2 of 7

Integer

a. (5 points)

3b

b. (5 points)

3a + b

c. (5 points)

a2 + 2b

d. (5 points)

a + 2b2

e. (5 points)

a2

b2

Parity (i.e., even or odd)

Name:

NIM:

Class:

Problem 2 (25 points) Suppose a and b are integers. If both of them are perfect squares, determine whether
each of these integers is a perfect square. Provide a relevant proof or counterexample.
Part

Integer

a. (5 points)

a b

b. (5 points)
c. (5 points)

ab2
a+b

d. (5 points)

a2 b + ab2
p
a + b + 2 ab

e. (5 points)

Perfect Square (yes/ no)

A NSWER :

page 3 of 7

Problem 3 (10 points) Verify the truth value of the following statements and justify your answer.
(a). (5 points) The sum of three consecutive even integers is divisible by 6.
(b). (5 points) For any integer n, if n is odd, then n2
A NSWER :

page 4 of 7

1 is divisible by 4.

Name:

NIM:

Class:

Problem 4 (10 points) Verify the truth value of the following statements and jusfity your answer.
(a). (5 points) Let n, a, b, c be integers such that n = abc. If n is even, then one of a, b, or c must be
even.
(b). (5 points) For any integer n, if 3n + 2 is even, then n is even.
A NSWER :

page 5 of 7

Problem 5 (10 points) Verify the truth value of the following statements and justify your answer.
(a). (5 points) Among the 25 people in a room, there will be at least three persons whose birthday falls
within the same month.
(b). (5 points) There is no smallest positive rational number. (Hint: observe the relationship between x
and

x
2

for any rational number x).

A NSWER :

page 6 of 7

Name:

NIM:

Class:

Problem 6 (20 points) Verify the truth value of the following statements and justify your answer.
(a). (10 points) For any integer n, n + 1 is odd if and only if n2

1 is odd.

(b). (10 points) For any integer n, n + 5 is even if and only if 3n + 2 is odd.
A NSWER :

page 7 of 7