Fall 2018 COT 3100 Section 1 Homework 3 Due September29, 2018 1. What is the truth values of the following 10 12 1 divides 47 10 is divisible by 5 2. Write the following sets in roster notation Note that the above second set should read the set of x such that x divides 20. 3. Prove or disprove the following V(x, y, z e Z)((z l y) (z | z) (z | y + z)) 4. Prove or disprove the following V(x, y, z E Z)((z 1 y) ^ (z l z + y) (z 1 z)) 5. Prove or disprove the following V(x, y, z E Z)((z | y) ^ (z 1 y) (z + y l z)) 6. Prove the following (x, y, z E Z)(x )( | ()) 7. Prove the following V(x, y, z E Z)((z | y) (y | z) (z | z)) 8. Prove the following for Integers a and y 714+5y