## Chapter 13: PROPOSITIONAL LOGIC - ARGUMENTS - Self-Quiz, Part A -

Fill-In
Type in your answer in the question's text box. Enter only the letter corresponding to your answer; for example, enter "a" to correspond to "Simplification". 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 = 10

This is an exercise in recognizing instances of the inference rules for propositional logic. You will be given an inference, and asked to name 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."

1 (A>B)*(C>D)
AvC
BvD
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
2 M>N
N>P
M>P
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
3 (J>K)*L
J>K
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
4 K>L
L>M
(K>L)*(L>M)
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
5 [J>(R*S)]*(~K>Q)
~(R*S)v~Q
~Jv~~K
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
6 (A>B)>(C*D)
~(C*D)
~(A>B)
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
7 ~(H*I)>[(H*K)v(I*J)]
~(H*I)
(H*K)v(I*J)
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
8 [A*(BvC)]v[A*(DvE)]
~[A*(BvC)]
A*(DvE)
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
9 [G*(LvM)]
[H>(MvL)]v[G*(LvM)]
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD
10 (DvE)*F
G
[(DvE)*F]*G
 a. Simplification: SIMP b. Conjunction: CONJ c. Addition: ADD d. Disjunctive syllogism: DS e. Hypothetical syllogism: HS f. Modus ponens: MP g. Modus tollens: MT h. Constructive dilemma: CD i. Destructive dilemma: DD

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: