Chapter 13:
PROPOSITIONAL LOGIC -
ARGUMENTS
- Practice, Part A -


Multiple Choice:
Click on the button next to the answer you wish to select. Your results will be displayed immediately in the question's text box.

No. of Questions = 31

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:

Simplification: SIMP
Conjunction: CONJ
Addition: ADD
Disjunctive syllogism: DS
Hypothetical syllogism: HS
Modus ponens: MP
Modus tollens: MT
Constructive dilemma: CD
Destructive dilemma: DD

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."

This exercise has two difficulty levels: (a) questions 1-13, and (b) questions 14-30.

1 A>B
A
B
a) HS
b) MP
c) MT
d) CD
e) DD
2 DvL
~D
L
____________
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
3 M
MvN
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
4 G
H
G*H
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
5 J>R
~R
~J
a) HS
b) MP
c) MT
d) CD
e) DD
6 (F>K)*(L>O)
~Kv~O
~Fv~L
a) HS
b) MP
c) MT
d) CD
e) DD
7 K*G
G
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
8 ~A>R
~R
~~A
a) HS
b) MP
c) MT
d) CD
e) DD
9 (B*C)vD
~D
B*C
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
10 A>(DvF)
(DvF)>G
A>G
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
11 L*~F
~F
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
12 (A*B)>(C>D)
A*B
C>D
a) HS
b) MP
c) MT
d) CD
e) DD
13 F>G
~Av(F>G)
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
14 (DvE)v(F*G)
~(F*G)
DvE
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
15 (DvE)*F
G
[(DvE)*F]*G
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
16 (A*B)vC
~(A*B)
C
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
17 (I*J)>(KvL)
I*J
KvL
a) HS
b) MP
c) MT
d) CD
e) DD
18 H>I
(H>I)v~(K>L)
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
19 (Dv~E)>F
F>(G*H)
(Dv~E)>(G*H)
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
20 (D*F)*(KvL)
KvL
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
21 (E>F)*[G>(H*I)]
EvG
Fv(H*I)
a) HS
b) MP
c) MT
d) CD
e) DD
22 [(A*B)v(C>D)]v(E>F)
~(E>F)
(A*B)v(C>D)
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
23 ~(F*K)>(F>L)
~(F>L)
~~(F*K)
a) HS
b) MP
c) MT
d) CD
e) DD
24 [(JvK)>L]*(M>N)
~Lv~N
~(JvK)v~M
a) HS
b) MP
c) MT
d) CD
e) DD
25 (AvB)*[C>(DvF)]
C>(DvF)
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
26 [(DvE)>(F*G)]*[(E>G)>(FvH)]
(DvE)v(E>G)
(F*G)v(FvH)
a) HS
b) MP
c) MT
d) CD
e) DD
27 ~(A*B)>(A>C)
~(A>C)
~~(A*B)
a) HS
b) MP
c) MT
d) CD
e) DD
28 E*(FvG)
Hv(F*G)
[E*(FvG)]*[Hv(F*G)]
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
29 [A*(B*C)]>(BvD)
(BvD)>[Ev(F*G)]
[A*(B*C)]>[Ev(F*G)]
a) SIMP
b) CONJ
c) ADD
d) DS
e) HS
30 [(I>J)>J]*[(LvM)>(N*~O)]
~Jv~(N*~O)
~(I>J)v~(LvM)
a) HS
b) MP
c) MT
d) CD
e) DD
31 [(A>B)v(C>B)]>~(~A*~C)
(A>B)v(C>B)
~(~A*~C)
a) HS
b) MP
c) MT
d) CD
e) DD



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