Skip to main content
United States
Jump To
Register or Log In
Register or Log In
Instructors
Browse Products
Getting Started
Support
Students
Browse Products
Getting Started
Support
Back to top
Return to Introduction to Formal Logic Student Resources
Section 3.08 Self-Quiz
Quiz Content
*
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
Exit Quiz
Next Question
Review all Questions
Submit Quiz
Reset
Are you sure?
You have some unanswered questions. Do you really want to submit?
Printed from , all rights reserved. © Oxford University Press, 2023
Select your Country
×