## Chapter 14: PREDICATE LOGIC - Self-Quiz, Part A -

Fill-In
Type in your answer in the question's text box. Do not put any spaces before or after symbols or operators in your answers. When you finish the quiz, mark it by clicking on the checkbox at the bottom. If you choose, you may email the results of your quiz to your instructor. Enter the information requested, and click on the mail quiz button.

No. of Questions = 16

Each item in this exercise is a sentence for you to put into the notation of predicate logic. Use x and y for variables. The letters you should use to represent predicates, variables, and names are listed for each sentence.

To indicate negation, use a tilde (~).
To indicate "or," use a lower-case "v" (v).
To indicate "if-then," use a greater-than symbol ( > ).
To indicate "and," use an asterisk (*).
To indicate "if and only if," use an equals sign (=).
To indicate the universal quantifier, place the variable inside parentheses.
To indicate the existential quantifier, place the variable after an upper-case "E" inside parentheses.

 1. No man is an island.Mx: x is a manIx: x is an island 2. Some cars have sunroofs.Cx: x is a carRx: x has a sunroof 3. All songs written in a minor key sound melancholy.Sx: x is a songWx: x is written in a minor keyMx: x sounds melancholy 4. Some guilty people are not convicted.Gx: x is guiltyPx: x is a personCx: x is convicted 5. Some people are aggressive is they're drunk.Px: x is a personAx: x is aggressiveDx: x is drunk 6. No self-respecting person is a liar or a cheat.Sx: x is self-respectingPx: x is a personLx: x is a liarCx: x is a cheat Hint: There are two possible ways to symbolize this problem, both of which will be accepted by LogicTutor's scoring mechanism. 7. No self-respecting person is a liar or a cheat.Sx: x is self-respectingPx: x is a personLx: x is a liarCx: x is a cheat Note: For this problem, you should use a different symbolization than you used for problem 6. 8. Only presidents and vice-presidents get lifelong Secret Security protection.Px: x is a presidentVx: x is a vice-presidentGx: x gets lifelong Secret Service protection Hint: There are two possible ways to symbolize this problem, both of which will be accepted by LogicTutor's scoring mechanism. 9. Only presidents and vice-presidents get lifelong Secret Security protection.Px: x is a presidentVx: x is a vice-presidentGx: x gets lifelong Secret Service protection Note: For this problem, you should use a different symbolization than you used for problem 8. 10. Some of Shakespeare's plays are tragedies, and all of them are masterpieces.Sx: x is a Shakespeare playTx: x is a tragedyMx: x is a masterpiece Hint: There are two possible ways to symbolize this problem, both of which will be accepted by LogicTutor's scoring mechanism. 11. Some of Shakespeare's plays are tragedies, and all of them are masterpieces.Sx: x is a Shakespeare playTx: x is a tragedyMx: x is a masterpiece Note: For this problem, you should use a different symbolization than you used for problem 10. 12. Everything is somewhere.Px: x is a placeAxy: x is at y 13. I don't like anyone who is belligerent and stupid.Lx: x ____ likes ____Bx: x is belligerentSx: x is stupidi: I Hint: There are two possible ways to symbolize this problem, both of which will be accepted by LogicTutor's scoring mechanism. 14. I don't like anyone who is belligerent and stupid.Lx: x ____ likes ____Bx: x is belligerentSx: x is stupidi: I Note: For this problem, you should use a different symbolization than you used for problem 13. 15. Lizards and snakes frighten some people.Lx: x is a lizardSx: x is a snakePx: x is a personFxy: x frightens y Hint: There are two possible ways to symbolize this problem, both of which will be accepted by LogicTutor's scoring mechanism. 16. Lizards and snakes frighten some people.Lx: x is a lizardSx: x is a snakePx: x is a personFxy: x frightens y Note: For this problem, you should use a different symbolization than you used for problem 15.

Finished? Mark Quiz Now

If you would like to mail your results to your instructor, enter the information requested below:

 Student Name: Student No: optional Student Email: Instructor's Email: