Section 3.04 Self Quiz

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. (A • B) ⊃ C
2. (A • D) ∨ (A • E)

C ⊃ (A • B)

~C ⊃ (A • B)

~C ⊃ ~(A • B)

(A ⊃ B) ⊃ C

A ⊃ (B • C)

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. (A • B) ⊃ C
2. (A • D) ∨ (A • E)

D

D • E

C ⊃ B

B ⊃ C

None

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. F ≡ G
2. H • ~G

(F ⊃ G) ∨ (G ⊃ F)

(F ⊃ G) • (G ⊃ F)

(F ∨ G) ∨ (~F ∨ ~G)

(F • G) • (~F ∨ ~G)

(F ⊃ G) ∨ ( ~F ⊃ ~G)

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. F ≡ G
2. H • ~G

F

~F

G

~H

~(F ≡ G)

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. ~I ∨ J
2. ~K ∨ I

I ⊃ J

~I ⊃ J

~K ⊃ ~I

K ⊃ ~I

All of the above

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. ~I ∨ J
2. ~K ∨ I

a)~K ⊃ J

~K ⊃ ~J

K ⊃ ~J

K ⊃ J

J ⊃ K

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. L ⊃ ~O
2. M ⊃ (N ⊃ O)

(M • N) ⊃ O

(M ⊃ N) ⊃ O

(M • N) • O

M ⊃ (O ⊃ N)

(N ⊃ O) ⊃ M

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. L ⊃ ~O
2. M ⊃ (N ⊃ O)

L ⊃ M

L ⊃ ~N

L ⊃ (M ∨ N)

L ⊃ (M ⊃ N)

L ⊃ ~(M • N)

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. (P • ~Q) ⊃ R
2. S • P
3. (~Q ⊃ R) ⊃ T

(P ⊃ ~Q) ⊃ R

P ⊃ (~Q ⊃ R)

P ⊃ (R ⊃ ~Q)

R ⊃ (P • ~Q)

~R ⊃ (P • ~Q)

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. (P • ~Q) ⊃ R
2. S • P
3. (~Q ⊃ R) ⊃ T

Q ⊃ R

~(Q ⊃ R)

R ⊃ Q

T

~T

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. ~U ⊃ W
2. X ⊃ ~W
3. ~Y ∨ X
4. ~Z ⊃ Y

W ⊃ X

~~W ⊃ ~X

W ⊃ ~U

~W ⊃ ~U

~Y ⊃ ~Z

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. ~U ⊃ W
2. X ⊃ ~W
3. ~Y ∨ X
4. ~Z ⊃ Y

U ⊃ ~X

U ⊃ ~Y

~U ⊃ ~Z

~U ⊃ X

~U ⊃ Z

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. A ⊃ (B ⊃ C)
2. ~(C ∨ D)

A ⊃ (C ⊃ B)

A ⊃ (~B ⊃ ~C)

A ⊃ (~C ⊃ ~B)

(B ⊃ C) ⊃ A

~(B ⊃ C) ⊃ A

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. A ⊃ (B ⊃ C)
2. ~(C ∨ D)

A • B

~(A ∨ B)

A ⊃ B

B ⊃ A

A ⊃ ~B

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. E ≡ ~F
2. F ∨ G
3. E

(E ⊃ F) • (F ⊃ E)

~(E ⊃ F) • ~(F ⊃ E)

(E • ~F) • (~E • ~~F)

(E • ~F) ∨ (~E • ~~F)

(E ∨ ~F) • (~E ∨ ~~F)

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. E ≡ ~F
2. F ∨ G
3. E

~E

~F

~G

All of the above

Options B and C, but not option A

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. ~(H ≡ I)v2. H ⊃ I
3. H ∨ J

~[(H ⊃ I) • (I ⊃ H)]

~[(H ⊃ I) ∨ (I ⊃ H)]

~[(H • I) ∨ (F • H)]

~[(H • I) ∨ (~(H • I)

~(H ⊃ I) • ~(I ⊃ H)

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. ~(H ≡ I)
2. H ⊃ I
3. H ∨ J

H

~I

~J

All of the above

None of the above

. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
1. K ⊃ (L ⊃ M)
2. N ⊃ (O ⊃ M)
3. (K • L) ∨ (N • O)

K ⊃ (M ⊃ L)

K ⊃ ~(M ⊃ L)

(K ⊃ L) ⊃ M

(K ⊃ L) • M

(K • L) ⊃ M

. Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
1. K ⊃ (L ⊃ M)
2. N ⊃ (O ⊃ M)
3. (K • L) ∨ (N • O)

K • L

N • O

L ⊃ M

O ⊃ M

M

Quiz Content