52
Formal Logic
e. No day is both sunny and rainy.
f. It is always a sunny day only if it is a rainy day.
g. No day is sunny.
h. Monday was sunny; therefore, every day will be sunny.
i. It rained both Monday and Tuesday.
j. If some day is rainy, then every day will be sunny.
14. Using the predicate symbols shown and appropriate quantifiers, write each English language statement as
a predicate wff. (The domain is the whole world.)
B(x): x is a ball
R(x): x is round
S(x): x is a soccer ball
a. All balls are round.
b. Not all balls are soccer balls.
c. All soccer balls are round.
d. Some balls are not round.
e. Some balls are round but soccer balls are not.
f. Every round ball is a soccer ball.
g. Only soccer balls are round balls.
h. If soccer balls are round, then all balls are round.
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.
16. Using the predicate symbols shown and appropriate quantifiers, write each English language statement as
a predicate wff. (The domain is the whole world.)
A(x): x is an animal
B(x): x is a bear
H(x): x is hungry
W(x): x is a wolf
a. Bears are animals.
b. No wolf is a bear.