Scribd
Upload
265 views3 pages

Discrete Mathematics Quiz 2

The document contains a mathematics quiz with two problems. Problem 1 asks to translate statements into first-order logic using given predicate symbols. Problem 2 asks to prove a given argument.

Uploaded by

Karim El Sheikh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
265 views3 pages

Discrete Mathematics Quiz 2

The document contains a mathematics quiz with two problems. Problem 1 asks to translate statements into first-order logic using given predicate symbols. Problem 2 asks to prove a given argument.

Uploaded by

Karim El Sheikh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

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

You might also like