1			1

2) Use propositional logic to prove that the verbal argument is valid.

If the ad (A) is successful, then the sales (S) volume will go up. Either the ad is successful or the store will close (C). The sales volume will not go up. Therefore the store will close.

3) What is the truth value of the expression in each of the following interpretations?

a) P(x) is the property that x takes Discrete Structures, and the domain of interpretation is all Computer Science majors at UNI.

b) P(x) is the property that x takes Discrete Structures, and the domain of interpretation is all students at UNI.

4) What is the truth value of each of the following wffs where the domain of interpretation for x and y are integers?

a)

b)

c)

d)

5) What is the scope of each quantifier in the wff ?

6) What is the truth value of the wff

in the interpretation where the domain consists of all integers, A(x) is "x > 0," B(x, y) is "x > y," and C(y) is

""?

7) The English sentence

"Every cat has fleas."

translates to predicate logic as

, where C(x) is "x is a cat" and F(x) is "x has fleas."

For the English sentence

"There is a cat that has fleas."

why is the predicate logic translation

, where C(x) is "x is a cat" and F(x) is "x has fleas."

incorrect?