Skip to main content
United States
Jump To
Register or Log In
Support
Register or Log In
Instructors
Browse Products
Getting Started
Students
Browse Products
Getting Started
Back to top
Return to Introduction to Formal Logic Student Resources
Marcus, Introduction to Formal Logic Student Resources
Quiz Content
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
(A ∨ B) ⊃ C
C ⊃ ~D / D ⊃ A
Valid
correct
incorrect
Invalid. Counterexample when B, C, and D are true and A is false
correct
incorrect
Invalid. Counterexample when B and D are true and A and C are false
correct
incorrect
Invalid. Counterexample when C and D are true and A and B are false
correct
incorrect
Invalid. Counterexample when A, B, and C are false and D is true
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
E ⊃ F
G ⊃ ~F / ~G ∨ ~E
Valid
correct
incorrect
Invalid. Counterexample when E, F, and G are true
correct
incorrect
Invalid. Counterexample when E and G are true and F is false
correct
incorrect
Invalid. Counterexample when F and G are true and E is false
correct
incorrect
Invalid. Counterexample when E and F are true and G is false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
H ≡ (~I ∨ J)
H ∨ ~J / ~I
Valid
correct
incorrect
Invalid. Counterexample when H, I, and J are false
correct
incorrect
Invalid. Counterexample when H and I are true and J is false
correct
incorrect
Invalid. Counterexample when I and J are true and H is false
correct
incorrect
Invalid. Counterexample when I is true and H and J are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
(K · L) ⊃ M
N ⊃ ~M
N ∨ K / L ⊃ K
Valid
correct
incorrect
Invalid. Counterexample when L, M, and N are true and K is false
correct
incorrect
Invalid. Counterexample when L and M are true and K and N are false
correct
incorrect
Invalid. Counterexample when L and N are true and K and M are false
correct
incorrect
Invalid. Counterexample when L is true and K, M, and N are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
P ⊃ (Q ∨ R)
(Q · S) ⊃ ~P
~(~Q ∨ R) / ~P
Valid
correct
incorrect
Invalid. Counterexample when P, Q, R, and S are true
correct
incorrect
Invalid. Counterexample when P and Q are true and R and S are false
correct
incorrect
Invalid. Counterexample when P, R, and S are true and Q is false
correct
incorrect
Invalid. Counterexample when P and S are true and Q and R are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
(T · ~U) ⊃ ~W
~W ⊃ X
~Z ⊃ W
~(X · Z) / T ⊃ U
Valid
correct
incorrect
Invalid. Counterexample when T, X, and Z are true and U and W are false
correct
incorrect
Invalid. Counterexample when T and X are true and U, W, and Z are false
correct
incorrect
Invalid. Counterexample when T, W, and Z are true and U and X are false
correct
incorrect
Invalid. Counterexample when T and W are true and W, X, and Z are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
A ⊃ (~B ≡ C)
B ≡ D
~C ≡ ~D / ~A
Valid
correct
incorrect
Invalid. Counterexample when A, B, and D are true and C is false
correct
incorrect
Invalid. Counterexample when A and B are true and C and D are false
correct
incorrect
Invalid. Counterexample when A, C, and D are true and B is false
correct
incorrect
Invalid. Counterexample when A and C are true and B and D are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
E ⊃ (F ∨ ~G)
F ⊃ (~E ∨ ~G) / ~(E ≡ F)
Valid
correct
incorrect
Invalid. Counterexample when E, F, and G are true
correct
incorrect
Invalid. Counterexample when E and F are true and G is false
correct
incorrect
Invalid. Counterexample when E, F, and G are false
correct
incorrect
Invalid. Counterexample when F is true and E and G are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
H ≡ (I · ~J)
K ≡ ~H
~(K ⊃ J) / I ≡ J
Valid
correct
incorrect
Invalid. Counterexample when I, H, and K are true and J is false
correct
incorrect
Invalid. Counterexample when I and H are true and J and K are false
correct
incorrect
Invalid. Counterexample when K is true and I, H, and J are false
correct
incorrect
Invalid. Counterexample when J is true and H, I and K are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.)
L ⊃ [(M ∨ ~N) ⊃ O]
(N ⊃ O) ⊃ (~P ⊃ Q)
R ⊃ ~Q / L ⊃ (R ⊃ P)
Valid
correct
incorrect
Invalid. Counterexample when L, M, O, Q, and R are true and N and P are false
correct
incorrect
Invalid. Counterexample when L, N, O, Q, and R are true and M and P are false
correct
incorrect
Invalid. Counterexample when L, M, N, O, and R are true and P and Q are false
correct
incorrect
Invalid. Counterexample when L, N, and R are true and M, O, P, and Q are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
(A ∨ B) ∨ C
~C
~A ⊃ B
Inconsistent
correct
incorrect
Consistent. Consistent valuation when A and B are true and C is false
correct
incorrect
Consistent. Consistent valuation when A and C are true and B is false
correct
incorrect
Consistent. Consistent valuation when B and C are true and A is false
correct
incorrect
Consistent. Consistent valuation when A, B, and C are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
D ≡ E
F ∨ D
~E · ~F
Inconsistent
correct
incorrect
Consistent. Consistent valuation when D, E, and F are true
correct
incorrect
Consistent. Consistent valuation when D and E are true and F is false
correct
incorrect
Consistent. Consistent valuation when D and F are true and E is false
correct
incorrect
Consistent. Consistent valuation when D, E, and F are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
(G ≡ H) ⊃ H
~H ∨ I
G · ~I
Inconsistent
correct
incorrect
Consistent. Consistent valuation when G, H, and I are true
correct
incorrect
Consistent. Consistent valuation when G and H are true and I is false
correct
incorrect
Consistent. Consistent valuation when G and I are true and H is false
correct
incorrect
Consistent. Consistent valuation when G is true and H and I are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
~(J ∨ ~K)
L ⊃ M
(J ∨ L) ⊃ (K · M)
Inconsistent
correct
incorrect
Consistent. Consistent valuation when J, K, and M are true and L is false
correct
incorrect
Consistent. Consistent valuation when L and M are true and J and K are false
correct
incorrect
Consistent. Consistent valuation when K and M are true and J and L are false
correct
incorrect
Consistent. Consistent valuation when K and L are true and J and M are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
~N ≡ (O · P)
~O ⊃ Q
N · ~Q
Inconsistent
correct
incorrect
Consistent. Consistent valuation when N, O, and P are true and Q is false
correct
incorrect
Consistent. Consistent valuation when N and O are true and P and Q are false
correct
incorrect
Consistent. Consistent valuation when N and P are true and O and Q are false
correct
incorrect
Consistent. Consistent valuation when N, O, and Q are true and P is false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
P ≡ Q
~Q ≡ R
R ≡ P
S ≡ ~P
S ≡ R
Inconsistent
correct
incorrect
Consistent. Consistent valuation when P and Q are true and R and S are false
correct
incorrect
Consistent. Consistent valuation when P, Q, R, and S are true
correct
incorrect
Consistent. Consistent valuation when R and S are true and P and Q are false
correct
incorrect
Consistent. Consistent valuation when P, Q, R, and S are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
(T ⊃ U) ⊃ (W ⊃ U)
T ⊃ ~(U ⊃ X)
(T ⊃ ~X) ⊃ W
Inconsistent
correct
incorrect
Consistent. Consistent valuation when U, W, and X are true and T is false
correct
incorrect
Consistent. Consistent valuation when W and X are true and T and U are false
correct
incorrect
Consistent. Consistent valuation when T and U are true and W and X are false
correct
incorrect
Consistent. Consistent valuation when T and W are true and U and X are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
A ⊃ (~B ∨ C)
C ⊃ D
A ∨ (B · ~D)
A ≡ (B ⊃ D)
Inconsistent
correct
incorrect
Consistent. Consistent valuation when A and D are true and B and C are false
correct
incorrect
Consistent. Consistent valuation when A, B, and D are true and C is false
correct
incorrect
Consistent. Consistent valuation when C and D are true and A and B are false
correct
incorrect
Consistent. Consistent valuation when B and C are true and A and D are false
correct
incorrect
*
not completed
.
Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.)
(E ⊃ F) ⊃ G
(~E ∨ F) ≡ (H ∨ I)
I ⊃ (J ⊃ ~H)
~G ⊃ ~J
Inconsistent
correct
incorrect
Consistent. Consistent valuation when E is true and F, G, H, I, and J are false
correct
incorrect
Consistent. Consistent valuation when E and H are true and F, G, I, and J are false
correct
incorrect
Consistent. Consistent valuation when E and I are true and F, G, H, and J are false
correct
incorrect
Consistent. Consistent valuation when F, G, H, I, and J are true and E is false
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
×