Section 3.08 Self-Quiz

* not completed

. [A ∨ (~A ⊃ A)] ⊃ A
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 correct incorrect

A ∨ ~A correct incorrect

~A ⊃ A correct incorrect

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

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

* not completed

. B ⊃ ~B) ⊃ (~~B ⊃ ~B)
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 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

. [(C ≡ D) • ~D] ⊃ ~C
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 correct incorrect

(C ≡ D) • ~D correct incorrect

(C ⊃ D) • ~D correct incorrect

C ⊃ D correct incorrect

C correct incorrect

* not completed

. (~E ∨ F) ⊃ G] ⊃ (E ⊃ G)
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) correct incorrect

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

(~E ∨ F) ⊃ G correct incorrect

~(E ∨ F) correct incorrect

~E ∨ F correct incorrect

* not completed

. [(H • I) ∨ (H • ~I)] ⊃ (~H ⊃ I)
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) correct incorrect

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

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

H • I correct incorrect

H correct incorrect

* not completed

. (M ⊃ N) ⊃ {(~N • ~M) ⊃ [N ⊃ (N ∨ ~M)]}
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)]} correct incorrect

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

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

M ⊃ N correct incorrect

M correct incorrect

* not completed

. [O ⊃ (P • ~O)] ⊃ [(P ∨ O) ⊃ (~P ⊃ ~O)]
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] 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

. [(Q ∨ R) • (~Q • ~S)] ⊃ ~(R • S)
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 correct incorrect

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

(Q ∨ R) • ~Q correct incorrect

Q ∨ R correct incorrect

Q correct incorrect

* not completed

. (T ≡ V) ⊃ [(V • ~W) ⊃ ~(W • T)]
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 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

. [(X ≡ Y) • X] ⊃ [(Y ⊃ Z) ⊃ Z]
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 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

. {[A ⊃ (B ∨ C)] • (A • ~C)} ⊃ B
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 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

. (D ⊃ E) ⊃ [(~E ∨ F) ⊃ (~F ⊃ ~D)]
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 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

. {{[G ≡ (H ∨ I)] • (G • ~I)} • (H ⊃ ~G)} ⊃ ~G
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 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

. {[(~J ∨ K) • ~(~L • K)] • ~L} ⊃ (~J • ~K)
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) 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

. [M ⊃ (N • O)] ⊃ {[M ⊃ (N ⊃ ~M)] ⊃ ~M}
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} 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

. [P • (P ⊃ Q)] ⊃ {[P ⊃ (R ⊃ ~Q)] ⊃ ~R}
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} 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

. [~S ≡ (~T • U)] ⊃ [(U ⊃ S) ⊃ (U ⊃ T)]
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)] 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

. (W ≡ X) ⊃ {(X • ~Y) ⊃ [(Z ⊃ Y) ⊃ (~Z • W)]}
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)]} 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

. {{[(A • B) ∨ C] • [(C ∨ A) ⊃ B]} • [(~B ∨ C) • (~C ∨ A)]} ⊃ A
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 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

. {[D ⊃ (E ∨ F)] • [(G • F) ⊃ D]} ⊃ {(~E • ~F) ⊃ [(D ⊃ ~G) ⊃ (D ⊃ ~F)]}
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)] 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