PREDICATE LOGIC IN CLASS EXERCISES

 

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

 

(1) Joe is a consultant   

(2) Claire is a skydiver   

 

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

 

(3) Bob is not a thief    

(4) Joe is happy if and only if Bob is sad        

(5) Claire is eavesdropping or Bob is eavesdropping        

 

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

 

(6) Claire shops at Kohls    

(7) Joe does not shop at Walmart     

(8) If Claire shops at Kohls or Joe shops at Walmart, then Bob shops at Goodies                  

 

 

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

 

(9) Claire spilled water on Joe     

(10) Claire spilled water on herself     

(11) If Claire spills water on Bob, then Bob will spill water on Claire             

 

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

 

(12) Joe is handcuffed to Bob                         

(13) Joe was born before Claire                          

 

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

 

(14) Claire is faster than Joe and Joe is faster than Bob                              

(15) Claire emails Joe and Joe emails Bob                                          

 

Symbolize the following non-relational quantification statements.

 

(16) Some sponges are not purple             

(17) All sponges are porous            

(18) Not everything is a sponge        

 

Symbolize the following relational quantification statement.

 

(19) No partiers like the masked-keg-chugger              

 

Symbolize the following identity predicates.

 

(20) Bob is the masked-keg-chugger    

(21) There are at least two spies in this room                        

(22) Bob is the ugliest person in this room