1. Modus Ponens (M.P.

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

Section 7.2 Part III

(1)
1. M Q

(2)

2. R T

1. N (D W)

3. M R

/ Q T

2. D K
3. N

/NK

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(3)
1. E (A C)

(4)

2. A (F E)

1. (H B) R

3. E

/F

2. (H M) P
3. H

/RP

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(5)
1. G (S T)

(6)

2. (S T) J

1. (L T) (B G)

3. G

/J

2. L (K R)

/LB

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(7)
1. (F X) (P T)

(8)

2. F P

1. (N B) (O C)

3. P

/T

2. Q (N O)
3. Q

/B C

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(9)
1. (U W) (T R)

(10)

2. U H

1. (D E) (G H)

3. R J

/ U T

2. G D
3. D F

/M

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(11)
1. (B F) (A G)

(12)

2. (B F) (G K)

1. (P R) (M P)

3. B H

/A K

2. (P M) (P R)
3. P M

/R P

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(13)
1. (C N) E

(14)

2. D (N D)

1. F (T A)

3. D

/ C P

2. (T G) (H T)
3. F O

/ H T

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(15)
1. (S B) (S K)

(16)

2. (K D) (H S)

1. (C G) (P L)

3. S W

2. (P C) (C D)

/ H

3. C R

/D R

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(17)
1. [A (K J)] (E F)

(18)

2. M [A (P R)]

1. H (T R)

3. M U

/ E A

2. H (E F)
3. T E
4. H D

/R F

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(19)
1. (U P) Q
2. O U

(20)

3. P O

1. (M N) (F G)

4. O T

/Q

2. D C
3. C B
4. M H
5. D F

/B G

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(21)
1. (F M) (S T)

(22)

2. (S A) F

1. (K N) [(P K) (R G)]

3. (S B) M

2. K N

4. S G

/T

3. N B
4. P R

/G

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(23)
1. (A D) (B F)

(24)

2. (B C) (A E)

1. (J K) (O P)

3. A B

2. (L J) (M O)

4. A

/E F

3. K (L M)
4. K G

/ P

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(25)
1. (M N) [(M H) (K L)]

(26)

2. M (C D)

1. (P S) (E F)

3. N (F G)

/ K N

2. (P T) (G H)
3. (P U) (E G)
4. P

/F H

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(27)
1. (S Q) (Q S)

(28)

2. S Q

1. (D B) (C D)

3. Q

/PR

2. (B D) (E C)
3. B E

/D B

1. Modus Ponens (M.P.)

pq
p
.: q

5. Constructive
Dilemma (C.D.

(p q) (r s)
pvr
.: q v s

2. Modus Tollens (M.T.)

pq
~q
.: ~ p

7. Simplification (Simp.)

pq
.: p

3. Hypothetical
Syllogism (H.S.)

pq
qr
.: p r

8. Conjunction (Conj.)

p
q
.: p q

4. Disjunctive Syllogism
(D.S.)

pvq
~p
.: q

9. Addition (Add.)

p
.: p v q

(29)
1. (R H) (S I)

(30)

2. (H L) (R S)

1. (W X) (Q R)

3. H (K T)

2. (S F) (Q W)

4. H L

/I M

3. (S G) (Q X)
4. Q S
5. Q H

/R