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 man
Ix: x is an island
2 Some cars have sunroofs.
Cx: x is a car
Rx: x has a sunroof
3 All songs written in a minor key sound melancholy.
Sx: x is a song
Wx: x is written in a minor key
Mx: x sounds melancholy
4 Some guilty people are not convicted.
Gx: x is guilty
Px: x is a person
Cx: x is convicted
5 Some people are aggressive is they're drunk.
Px: x is a person
Ax: x is aggressive
Dx: x is drunk
6 No self-respecting person is a liar or a cheat.
Sx: x is self-respecting
Px: x is a person
Lx: x is a liar
Cx: 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-respecting
Px: x is a person
Lx: x is a liar
Cx: 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 president
Vx: x is a vice-president
Gx: 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 president
Vx: x is a vice-president
Gx: 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 play
Tx: x is a tragedy
Mx: 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 play
Tx: x is a tragedy
Mx: 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 place
Axy: x is at y
13 I don't like anyone who is belligerent and stupid.
Lx: x ____ likes ____
Bx: x is belligerent
Sx: x is stupid
i: 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 belligerent
Sx: x is stupid
i: 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 lizard
Sx: x is a snake
Px: x is a person
Fxy: 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 lizard
Sx: x is a snake
Px: x is a person
Fxy: 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:



Your Score is %


Created with QuizPlease
© Copyright 1998, W.W. Norton & Co.