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