Chapter 14: PREDICATE LOGIC
- Self-Quiz, Part B -


Multiple Choice:
Click on the button next to the answer you wish to select. 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= 8

This is an exercise in recognizing instances of the inference and equivalence rules of predicate logic. You will be given an inference, and must indicate the name of the rule, using the standard abbreviations:

The following symbols have been used:

A tilde (~)indicates negation.
A lower-case "v" (v) indicates "or."
A greater-than symbol ( > )indicates "if-then."
An asterisk (*) indicates "and."
An equals sign (=) indicates "if and only if."
An upper-case "E" (E) indicates the existential qualifier.


1 ~(Ex)(Ax * Bx)
(x)~(Ax * Bx)
a) Quantifier-negation: QN
b) Universal instantiation: UI
c) Universal generalization: UG
d) Existential instantiation: EI
e) Existential generalization: EG
2 Da * ~La
(x)(Dx * ~Lx)
a) Quantifier-negation: QN
b) Universal instantiation: UI
c) Universal generalization: UG
d) Existential instantiation: EI
e) Existential generalization: EG
3 (x)[Hx > (Jx v Kx)]
Hm > (Jm v Km)
a) Quantifier-negation: QN
b) Universal instantiation: UI
c) Universal generalization: UG
d) Existential instantiation: EI
e) Existential generalization: EG
4 Ld * (Bc > Dc)
(Ex)[Lx * (Bc > Dc)]
a) Quantifier-negation: QN
b) Universal instantiation: UI
c) Universal generalization: UG
d) Existential instantiation: EI
e) Existential generalization: EG
5 (Gk v Hk) > Lk
(x)[(Gx v Hx) > Lx]
a) Quantifier-negation: QN
b) Universal instantiation: UI
c) Universal generalization: UG
d) Existential instantiation: EI
e) Existential generalization: EG
6 Lb * (Kb v Qb)
(Ex)[Lx * (Kb v Qb)]
a) Quantifier-negation: QN
b) Universal instantiation: UI
c) Universal generalization: UG
d) Existential instantiation: EI
e) Existential generalization: EG
7 (Ex)(y)(Gx * Hyx)
(y)(Ga * Hya)
a) Quantifier-negation: QN
b) Universal instantiation: UI
c) Universal generalization: UG
d) Existential instantiation: EI
e) Existential generalization: EG
8 (x){Bx > (Ey)[Cy * (z)(Fz > Dyxz)]}
Bn > (Ey)[Cy * (z)(Fz > Dynz)]
a) Quantifier-negation: QN
b) Universal instantiation: UI
c) Universal generalization: UG
d) Existential instantiation: EI
e) Existential generalization: EG


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.