Mathematical Structures for Computer Science 1.3 #15

Using the predicate symbols shown and appropriate quantifiers, write each English language statement as a predicate wff. (The domain is the whole world.)

M(x): x is a man

W(x): x is a woman

T(x): x is tall

a. All men are tall.

b. Some women are tall.

c. All men are tall but no woman is tall.

d. Only women are tall

e. No man is tall.

f. If every man is tall, then every woman is tall.

g. Some woman is not tall.

h. If no man is tall, then some woman is not tall.