Section 3.08 Self-Quiz

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[A ∨ (~A ⊃ A)] ⊃ A

A correct incorrect

A ∨ ~A correct incorrect

~A ⊃ A correct incorrect

[A ∨ (~A ⊃ A)] correct incorrect

[A ∨ (~A ⊃ A)] ⊃ A correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(B ⊃ ~B) ⊃ (~~B ⊃ ~B)

B correct incorrect

B ⊃ ~B correct incorrect

(B ⊃ ~B) ⊃ (~~B ⊃ ~B) correct incorrect

Any of the above correct incorrect

None of the above correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(C ≡ D) • ~D] ⊃ ~C

[(C ≡ D) • ~D] ⊃ ~C correct incorrect

(C ≡ D) • ~D correct incorrect

(C ⊃ D) • ~D correct incorrect

C ⊃ D correct incorrect

C correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(~E ∨ F) ⊃ G] ⊃ (E ⊃ G)

[(~E ∨ F) ⊃ G] ⊃ (E ⊃ G) correct incorrect

[(~E ∨ F) ⊃ G] ⊃ E correct incorrect

(~E ∨ F) ⊃ G correct incorrect

~(E ∨ F) correct incorrect

~E ∨ F correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(H • I) ∨ (H • ~I)] ⊃ (~H ⊃ I)

[(H • I) ∨ (H • ~I)] ⊃ (~H ⊃ I) correct incorrect

[(H • I) ∨ (H • ~I)] ⊃ ~H correct incorrect

(H • I) ∨ (H • ~I) correct incorrect

H • I correct incorrect

H correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(M ⊃ N) ⊃ {(~N • ~M) ⊃ [N ⊃ (N ∨ ~M)]}

(M ⊃ N) ⊃ {(~N • ~M) ⊃ [N ⊃ (N ∨ ~M)]} correct incorrect

(M ⊃ N) ⊃ [(~N • ~M) ⊃ N] correct incorrect

(M ⊃ N) ⊃ (~N • ~M) correct incorrect

M ⊃ N correct incorrect

M correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[O ⊃ (P • ~O)] ⊃ [(P ∨ O) ⊃ (~P ⊃ ~O)]

[O ⊃ (P • ~O)] ⊃ [(P ∨ O) ⊃ ~P] correct incorrect

[O ⊃ (P • ~O)] ⊃ (P ∨ O) correct incorrect

O ⊃ (P • ~O) correct incorrect

O correct incorrect

None of the above correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(Q ∨ R) • (~Q • ~S)] ⊃ ~(R • S)

[(Q ∨ R) • (~Q • ~S)] ⊃ ~R correct incorrect

(Q ∨ R) • (~Q • ~S) correct incorrect

(Q ∨ R) • ~Q correct incorrect

Q ∨ R correct incorrect

Q correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(T ≡ V) ⊃ [(V • ~W) ⊃ ~(W • T)]

T ≡ V correct incorrect

(T ≡ V) ⊃ (V • ~W) correct incorrect

(T ≡ V) ⊃ [(V • ~W) ⊃ ~(W • T)] correct incorrect

Any of the above correct incorrect

All of the above correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[(X ≡ Y) • X] ⊃ [(Y ⊃ Z) ⊃ Z]

X ≡ Y correct incorrect

(X ≡ Y) • X correct incorrect

[(X ≡ Y) • X] ⊃ Y correct incorrect

[(X ≡ Y) • X] ⊃ (Y ⊃ Z) correct incorrect

[(X ≡ Y) • X] ⊃ [(Y ⊃ Z) ⊃ Z] correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{[A ⊃ (B ∨ C)] • (A • ~C)} ⊃ B

A correct incorrect

A ⊃ (B ∨ C) correct incorrect

[A ⊃ (B ∨ C)] • A correct incorrect

[A ⊃ (B ∨ C)] • (A • ~C) correct incorrect

{[A ⊃ (B ∨ C)] • (A • ~C)} ⊃ B correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(D ⊃ E) ⊃ [(~E ∨ F) ⊃ (~F ⊃ ~D)]

D correct incorrect

D ⊃ E correct incorrect

(D ⊃ E) ⊃ (~E ∨ F) correct incorrect

(D ⊃ E) ⊃ [(~E ∨ F) ⊃ ~F] correct incorrect

(D ⊃ E) ⊃ [(~E ∨ F) ⊃ (~F ⊃ ~D)] correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{{[G ≡ (H ∨ I)] • (G • ~I)} • (H ⊃ ~G)} ⊃ ~G

{{[G ≡ (H ∨ I)] • (G • ~I)} • (H ⊃ ~G)} ⊃ ~G correct incorrect

{[G ≡ (H ∨ I)] • (G • ~I)} • (H ⊃ ~G) correct incorrect

{[G ≡ (H ∨ I)] • (G • ~I)} • H correct incorrect

[G ≡ (H ∨ I)] • (G • ~I) correct incorrect

G correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{[(~J ∨ K) • ~(~L • K)] • ~L} ⊃ (~J • ~K)

{[(~J ∨ K) • ~(~L • K)] • ~L} ⊃ (~J • ~K) correct incorrect

{[(~J ∨ K) • ~(~L • K)] • ~L} ⊃ ~J correct incorrect

[(~J ∨ K) • ~(~L • K)] • ~L correct incorrect

(~J ∨ K) • ~(~L • K) correct incorrect

~J correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[M ⊃ (N • O)] ⊃ {[M ⊃ (N ⊃ ~M)] ⊃ ~M}

[M ⊃ (N • O)] ⊃ {[M ⊃ (N ⊃ ~M)] ⊃ ~M} correct incorrect

[M ⊃ (N • O)] ⊃ [M ⊃ (N ⊃ ~M)] correct incorrect

[M ⊃ (N • O)] ⊃ M correct incorrect

M ⊃ (N • O) correct incorrect

M correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[P • (P ⊃ Q)] ⊃ {[P ⊃ (R ⊃ ~Q)] ⊃ ~R}

[P • (P ⊃ Q)] ⊃ {[P ⊃ (R ⊃ ~Q)] ⊃ ~R} correct incorrect

[P • (P ⊃ Q)] ⊃ [P ⊃ (R ⊃ ~Q)] correct incorrect

[P • (P ⊃ Q)] ⊃ (P ⊃ R) correct incorrect

[P • (P ⊃ Q)] ⊃ P correct incorrect

P • (P ⊃ Q) correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
[~S ≡ (~T • U)] ⊃ [(U ⊃ S) ⊃ (U ⊃ T)]

[~S ≡ (~T • U)] ⊃ [(U ⊃ S) ⊃ (U ⊃ T)] correct incorrect

[~S ≡ (~T • U)] ⊃ [(U ⊃ S) ⊃ U] correct incorrect

[~S ≡ (~T • U)] ⊃ (U ⊃ S) correct incorrect

~S ≡ (~T • U) correct incorrect

~S correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
(W ≡ X) ⊃ {(X • ~Y) ⊃ [(Z ⊃ Y) ⊃ (~Z • W)]}

(W ≡ X) ⊃ {(X • ~Y) ⊃ [(Z ⊃ Y) ⊃ (~Z • W)]} correct incorrect

(W ≡ X) ⊃ [(X • ~Y) ⊃ (Z ⊃ Y)] correct incorrect

(W ≡ X) ⊃ (X • ~Y) correct incorrect

(W ≡ X) correct incorrect

W correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{{[(A • B) ∨ C] • [(C ∨ A) ⊃ B]} • [(~B ∨ C) • (~C ∨ A)]} ⊃ A

{{[(A • B) ∨ C] • [(C ∨ A) ⊃ B]} • [(~B ∨ C) • (~C ∨ A)]} ⊃ A correct incorrect

{[(A • B) ∨ C] • [(C ∨ A) ⊃ B]} • [(~B ∨ C) • (~C ∨ A)] correct incorrect

[(A • B) ∨ C] • [(C ∨ A) ⊃ B] correct incorrect

(A • B) ∨ C correct incorrect

A correct incorrect

* not completed

. Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
{[D ⊃ (E ∨ F)] • [(G • F) ⊃ D]} ⊃ {(~E • ~F) ⊃ [(D ⊃ ~G) ⊃ (D ⊃ ~F)]}

{[D ⊃ (E ∨ F)] • [(G • F) ⊃ D]} ⊃ [(~E • ~F) ⊃ (D ⊃ ~G)] correct incorrect

{[D ⊃ (E ∨ F)] • [(G • F) ⊃ D]} ⊃ (~E • ~F) correct incorrect

[D ⊃ (E ∨ F)] • [(G • F) ⊃ D] correct incorrect

D ⊃ (E ∨ F) correct incorrect

D correct incorrect