Mathematics Department

Prof. Dr. Gerd Baumann

Discrete Mathematics MATH-501

Quiz 002

Time 20 Minutes

ID:

Group:

Problem: 1

Using only the predicate symbols given below, translate statements a), b), and c) into first-order logic.

a) Every rose has its thorns.

b) There is an empty vase.

c) There is a vase with at least one thorny rose in it.

Rs(x): x is a rose.

Th(x): x is a thorn.

Vs(x): x is a vase.

Has(x; y): x has y.

In(x; y): x is in y.
2 2010 Dr. G. Baumann

Solution
 2010 Dr. G. Baumann 3

Problem: 2

Prove the following argument.

H" xL@PHxL H$ wL@QHwLDD H$ xL@PHxL QHxLD.

Show all your steps in detail.

Solution