Introductory Logic
Quiz #9
November 21, 2005
 

Name______________________
R. Hammack
Score _________

DIRECTIONS. Translate the following statements into symbolic form. Please indicate what your symbols stand for.



(1) Dinner was good, but it wasn't cheap.

Gd • ~Cd

(G ="is good," C = "is cheap," d = "dinner")


(2) Some negative campaign strategies are not effective.

(∃ x)(Nx • ~Ex)

(N ="is negative campaign strategy," E = "is effective")


(3) Europe needs a new identity.

Ne

(N ="needs new identity," e = "europe")


(4) If some people cheat their insurance companies, then all policy holders suffer.

(∃ x)(Px • Cx)   ⊃   (x)(Hx ⊃ Sx)

(P ="is person," C = "cheats their insurance company", H ="is policy holder" S = "suffers")


(5) No sport utility vehicle gets good gas milage unless it's rolling downhill in neutral.

(x)(Sx ⊃ (~Rx ⊃ ~Mx))        or           (x)(Sx ⊃ (Mx ⊃ Rx))        or           (x)((Sx • Mx) ⊃ Rx)

(S ="is SUV," R = "is rolling downhill in neutral", M ="gets good gas milage")