Section 3.09 Self Quiz

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
1. X ⊃ ~Y
2. ~Z ⊃ ~W
3. X ∨ W / ~Y ∨ Z

~Y ∨ Z correct incorrect

Y ∨ Z correct incorrect

~Y correct incorrect

Y • ~Z correct incorrect

~~(~Y ∨ Z) correct incorrect

* not completed

. Which of the following propositions is a likely last line of the indented sequence for an indirect proof of the given argument?
1. X ⊃ ~Y
2. ~Z ⊃ ~W 3. X ∨ W / ~Y ∨ Z

X • ~X correct incorrect

Y • ~Y correct incorrect

Z • ~Z correct incorrect

W • ~W correct incorrect

All of the above correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
1. H ⊃ J
2. K ⊃ ~J
3. (H ⊃ ~K) ⊃ L / L

H correct incorrect

H ⊃ ~K correct incorrect

~(H ⊃ J) correct incorrect

L correct incorrect

~L correct incorrect

* not completed

. Which of the following propositions is a likely last line of the indented sequence for an indirect proof of the given argument?
1. H ⊃ J
2. K ⊃ ~J
3. (H ⊃ ~K) ⊃ L / L

a)H • ~H correct incorrect

J • ~J correct incorrect

L • ~L correct incorrect

All of the above correct incorrect

Options A and B, but not option C correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
1. (F ⊃ G) ⊃ H
2. F ⊃ I
3. (~H • I) ⊃ G / H

F correct incorrect

F ⊃ G correct incorrect

~H correct incorrect

~H • I correct incorrect

* not completed

. Which of the following propositions is a likely last line of the indented sequence for an indirect proof of the given argument?
1. (F ⊃ G) ⊃ H
2. F ⊃ I
3. (~H • I) ⊃ G / H

F • ~F correct incorrect

G • ~G correct incorrect

I • ~I correct incorrect

All of the above correct incorrect

Options A and B, but not option C correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
1. P ∨ ~Q
2. (~Q • R) ⊃ S
3. ~(R ⊃ S) / P

P correct incorrect

~P correct incorrect

~(P ∨ ~Q) correct incorrect

~Q ∨ R correct incorrect

R ⊃ S correct incorrect

* not completed

. Which of the following propositions is a likely last line of the indented sequence for an indirect proof of the given argument?
1. P ∨ ~Q
2. (~Q • R) ⊃ S
3. ~(R ⊃ S) / P

P • ~P correct incorrect

Q • ~Q correct incorrect

R • ~R correct incorrect

All of the above correct incorrect

Options A and B, but not option C correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
1. ~H • (~I • ~J)
2. (K ∨ I) ∨ L / K ∨ L

K ∨ L correct incorrect

K correct incorrect

L correct incorrect

~K • ~L correct incorrect

~H correct incorrect

* not completed

. Which of the following propositions is a likely last line of the indented sequence for an indirect proof of the given argument?
1. ~H • (~I • ~J)
2. (K ∨ I) ∨ L / K ∨ L

H • ~H correct incorrect

I • ~I correct incorrect

J • ~J correct incorrect

All of the above correct incorrect

Options A and B, but not option C correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
1. D ⊃ E
2. E ⊃ (F • G)
3. ~F ∨ ~G / ~D

D correct incorrect

~D correct incorrect

E correct incorrect

F correct incorrect

~F correct incorrect

* not completed

. Which of the following propositions is a likely last line of the indented sequence for an indirect proof of the given argument?
1. D ⊃ E
2. E ⊃ (F • G)
3. ~F ∨ ~G / ~D

D • ~D correct incorrect

E • ~E correct incorrect

F • ~F correct incorrect

All of the above correct incorrect

Options A and B, but not option C correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
1. (D • B) ⊃ ~C
2. (~E ∨ D) • (~E ∨ B)
3. ~C ⊃ (~A • ~E) / ~E

D • B correct incorrect

~C correct incorrect

B ∨ D correct incorrect

C correct incorrect

E correct incorrect

* not completed

. Which of the following propositions is a likely last line of the indented sequence for an indirect proof of the given argument?
1. (D • B) ⊃ ~C
2. (~E ∨ D) • (~E ∨ B)
3. ~C ⊃ (~A • ~E) / ~E

A • ~A correct incorrect

B • ~B correct incorrect

C • ~C correct incorrect

All of the above correct incorrect

Options B and C, but not option A correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the conclusion of the given argument?
1. (Q ⊃ R) • (~S ∨ T)
2. Q ∨ S / R ∨ T

R ∨ T correct incorrect

~R ∨ ~T correct incorrect

R • T correct incorrect

~R • ~T correct incorrect

All of the above correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for a conditional proof of the conclusion of the given argument?
1. (Q ⊃ R) • (~S ∨ T)
2. Q ∨ S / R ∨ T

R correct incorrect

T correct incorrect

~R correct incorrect

Q correct incorrect

~S correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the given logical truth?
(P ⊃ Q) ∨ (~P ⊃ Q)

(P ⊃ Q) ∨ (~P ⊃ Q) correct incorrect

~(P ⊃ Q) ∨ ~(~P ⊃ Q) correct incorrect

~(P ⊃ Q) • ~(~P ⊃ Q) correct incorrect

P correct incorrect

~P correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for a conditional proof of the given logical truth?
(P ⊃ Q) ∨ (~P ⊃ Q)

P correct incorrect

~P correct incorrect

P ⊃ Q correct incorrect

~(P ⊃ Q) correct incorrect

~(P ⊃ Q) ∨ ~(~P ⊃ Q) correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for an indirect proof of the given logical truth?
(A ⊃ B) ∨ (~A ⊃ C)

A ⊃ B correct incorrect

(A ⊃ B) ∨ (~A ⊃ C) correct incorrect

~(A ⊃ B) ∨ ~(~A ⊃ C) correct incorrect

~(A ⊃ B) • ~(~A ⊃ C) correct incorrect

~A correct incorrect

* not completed

. Which of the following propositions is an appropriate assumption for a conditional proof of the given logical truth?
(A ⊃ B) ∨ (~A ⊃ C)

B correct incorrect

A ⊃ B correct incorrect

~(A ⊃ B) correct incorrect

(A⊃ B) ∨ (~A ⊃ C) correct incorrect

Any of the above correct incorrect