Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

Section 7.1 Part III

(1)

1. F (D T)

1. C (A C)

2. F

2. C

(2)

/ A

3. D

/T

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(3)

(4)

1. (K B) (L E)

1. P (G T)

2 (K B)

2. Q (T E)

3 E

/ L

3. P
4. Q

/G E

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(5)

(6)

1. W [W (X W)]

1. J (K L)

2. W

/ X

2. L J
3. L

/ K

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(8)
(7)

1. A (E F)

1. S D

2. H (F M)

2. S (D K)

3. A

3. D

/K

4. H

/E M

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(9)

(10)

1. G (G A)

1. N (J P)

2. A (C A)

2. (J P) (N J)

3. G

/ C

3. N

/P

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(11)

(12)

1. G [O (G D)]

1. M (B T)

2. O G

2. B W

3. O

/D

3. M
4. W

/ T

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(13)

(14)

1. R (G A)

1. (L N) C

2. (G A) S

2. (L N) (P E)

3. G S

3. E C

4. R

/ A

4. C

/ P

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(15)

(16)

1. J [A (D A)]

1. (B M) (T S)

2. J A

2. B K

3. J

/ D

3. K M
4. S N

/T N

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(17)

(18)

1. H (Q F)

1. A (B C)

2. R (Q R)

2. D (C A)

3. R H

3. D A

4. R

/F

4. D

/B

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(19)

(20)

1. G [G (S G)]

1. H [E (C D)]

2. (S L) G

2. D E

3. S L

/L

3. E H
4. E

/ C

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(21)

(22)

1. B [(A K) (B K)]

1. (C M) (N P)

2. J K

2. (C N) (N M)

3. A J

3. (C P) M

4. B

/ A

4. C N

/ C

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(23)

(24)

1. (R F) [(R G) (S Q)]

1. A [A (T R)]

2. (Q F) (R Q)

2. R [R (A R)]

3. G F

3. (T D) R

4. Q G

/S F

4. T D

/D

Modus Ponens (MP)

pq
p
--------q

Hypothetical Syllogism (HS)

pq
qr
--------pr

Modus Tolens (MT)

pq
~q
--------~p

Disjunctive Syllogism (DS)

pvq
~p
--------q

(25)
1. N [(B D) (N E)]
2. (B E ) N
3. B D
4. D E

/ D