EE 2060 Discrete Mathematics

Homework#1
Due: 2017/03/21

1. (20%) During a recent police investigation, the Chief Inspector of police was interviewing five
suspects to try and identify who stole a book from the book store. Below is a summary of their
statements:

Alex: It wasn't Edward

It was Brian
Brian: It wasn't Charlie
It wasn't Edward
Charlie: It was Edward
It wasn't Alex
Derek: It was Charlie
It was Brian
Edward: It was Derek
It wasn't Alex

It is known that each suspect told exactly one lie. Can you determine who stole the book? Please
formulate the logic statement and give your reasoning.

2. (16%) Construct truth table and determine whether the following compound propositions are
satisfiable.
(a) (8%) ( ) ( ) ( )
(b) (8%) ( ) ( )

3. Let P(x), Q(x), and R(x) be the following open statements.

P x : 2 7 + 10 = 0 ; x : 2 2 3 = 0 ; x : x < 0
(a) (10%) Determine the truth or falsity of the following statements, where the universe is all
integers. If a statement is false, provide a counterexample or explanation.
i. P x R x
ii. Q x R x
iii. Q x R x
iv. P x R x
(b) (10%) Find the answers to part (a) when the universe consists of all positive integers.
(c) (10%) Find the answers to part (a) when the universe consists only the integers 2 and 5.

4. (14%) Find the domain of quantifiers in the following such that the statement is true.
(a) (7%) y ( = )( = )) the statement is true.
(b) (7%) y ( = )( = )) the statement is false

5. (20%) Suppose that Emma and Alex play a game taking turns removing 1, 2, or 3 balls at a time
from a pack that begins with 15 balls. The person who removes the last ball wins the game. Let
Emma be the first player and they take turns to play the game.
(a) Can you identify the situations that Emma will win the game?
(b) Can you identify the situations that Alex will win the game?
Note: You need to show your reasoning to earn the credits.