Assignment 3 Solutions
CS2102, Fall 2009
1.
(2.1, 1)
Answer: 1a. False
Explanation: Symbolically, for the menagerie set of animals
M
, the statement is
M
x
:
∃
⦁
color(x) = red. Because there are no animals in the menagerie that are
red, this statement is false.
Answer: 1b. True
Explanation: Because the menagerie consists of dogs, cats, and birds, then each
animal is either a bird or a mammal. Symbolically, this statement would be
M
x
:
∀
•
bird(x)
∨
mammal(x)
Answer: 1c. False.
Explanation: There are some animals in the menagerie that are not black, gray, or
brown. Therefore the statement that every animal is of one of these three colors is
false. Symbolically, this statement is
M
x
:
∀
•
black(x)
∨
grey(x)
∨
brown(x).
Answer: 1d. True
Explanation: There is a bird in the menagerie. A bird is not a dog or a cat.
Therefore the statement that there is an animal in the menagerie that is not a dog
or a cat is true. Symbolically, the statement is
M
x
:
∃
⦁
¬dog(x)
∧
¬cat(x).
Answer: 1e. False
Explanation: There are 5 blue birds in the menagerie. Therefore the statement that
no animal in the menagerie is blue must be false. Symbolically this statement is
M
x
:
∀
•
¬blue(x)
Answer: 1f. True
Explanation: The menagerie has 2 black dogs, ten black cats, and one black bird.
Therefore there are a dog, cat, and bird in the menagerie that all have the same
color. Symbolically, this is
M
z
y
x
:
,
,
∃
| dog(x) ^ cat(y) ^ bird(z)
⦁
(color(x) =
color(y) = color(z)).
2.
(2.1, 6)
Answer/Explanation: 6a. If m= 25 and n = 10, The predicate reads “If 25 is a
factor of 100, then 25 is a factor of 10”. 25 is a factor of 100, but it is not a factor
of 10. Therefore, the statement is false for these m and n values (recall 1
→
0 = 0).
Answer: 6b. n =100 , m = 2500
Explanation: Any set of values where m is a factor of n
2
but m is not a factor of n
is an acceptable answer here.