PREDICATE LOGIC EXERCISES FOR HOMEWORK

Symbolize the following simple non-relational statements (e.g., Ms “Socrates is mortal”).

(1) Kate is a neurosurgeon

(2) Don is a Boy Scout

Symbolize the following compound non-relational statements (contains logical connectives, e.g., ~Vh “Hitler was not virtuous”).

(3) Kate is not a Boyscout

(4) Don is whistling and Kate is singing

(5) If Kate is laughing then Don is crying

Symbolize the following two-place relational predicates (e.g., Lbc “Bob loves Claire”).

(6) Don boats in the river Styx

(7) Kate does not like the band Styx

(8) If Don breaks the eggs then Kate won’t eat breakfast and Sarah won’t eat lunch

Symbolize the following three-place relational predicates (e.g., Gcfb “Claire gave Fido to Bob”).

(9) Don gave money to Kate

(10) Don gave money to himself

(11) If Don gives money to Kate, then Kate will give money to Sarah

Complete and symbolize the following symmetrical, asymmetrical, or nonsymmetrical relationships.

(12) Sarah likes Kate

(13) Kate is smarter than Don

Complete and symbolize the following transitive, intransitive or nontransitive relationships.

(14) Kate yells at Sarah and Sarah yells at Don

(15) Kate is smarter than Don and Don is smarter than Joe

Symbolize the following non-relational quantification statements.

(16) Some sporks are plastic

(17) No sporks are plutonium

(18) Something is a spork

Symbolize the following relational quantification statement.

(19) Some biologists like snakes

Symbolize the following identity predicates.

(20) Don is the smartest student

(21) Only Don is a superhero

(22) No gamblers won except Don