Section 3.03 Self Quiz

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

~D ∨ ~C

~D ∨ C

~D • C

~D • ~C

~~(D ∨ C)

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

D • A

D • B

D • (A ∨ B)

~D • (A ∨ B)

~D • A

. 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 ⊃ H
4. ~G

~E ⊃ G

~F

F ⊃ H

All of the above

Options A and B, but not option C

. Which of the following propositions is derivable from the given premises using the rules available through section 3.3 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN)?
1. ~E ⊃ F
2. F ⊃ G
3. E ⊃ H
4. ~G

~E

F

G

H

All of the above

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

I

J

I • J

All of the above

Options B and C, but not option A

. Which of the following propositions is not derivable from the given premises using the rules available through section 3.3 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN)?
1. I ⊃ (J ⊃ K)
2. J • I
3. K ⊃ L

I

J

K

L

None of the above

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

~M ∨ (N • O)

~M ∨ ~(N • O)

~M • ~(N • O)

~M • (~N • ~O)

~M • (~N ∨ ~O)

. Which of the following propositions is derivable from the given premises using the rules available through section 3.3 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN)?
1. ~[M ∨ (N • O)]
2. ~N ⊃ P
3. ~O ⊃ Q

N • O

~N • ~O

P

Q

P ∨ Q

. Which of the following propositions is not an immediate (one-step) consequence in PL of the given premises?
1. ~(R • S) ⊃ T
2. T ⊃ U
3. ~[(V ≡ R) ∨ U]

~(R • S) ⊃ U

(~R ∨ ~S) ⊃ T

~(V ≡ R) • ~U

~(S • R) ⊃ T

None of the above; they are all immediately derivable

. Which of the following propositions is derivable from the given premises using the rules available through section 3.3 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN)?
1. ~(R • S) ⊃ T
2. T ⊃ U
3. ~[(V ≡ R) ∨ U]

U ≡ R

U

~T • S

S • U

T

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

(~W ∨ ~X) ⊃ Y

~(X • W) ⊃ Y

~Z ∨ ~ X

~Z • ~X

Z ⊃ W

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

W

Y

W • ~Z

Z

X ∨ W

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

F ∨ G

G ⊃ H

~F • ~G

~(F ∨ G)

H ∨ I

. Which of the following propositions is derivable from the given premises using the rules available through section 3.3 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN)?
1. F ∨ (H ∨ I)
2. (F ∨ G) ⊃ J
3. H ⊃ G
4. ~J

F

G

H

I

None

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

(K ∨ L) ∨ (K ∨ M)

(K ∨ L) ∨ M

(K ∨ L) • M

K ∨ (M • L)

(K • L) • M

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

O

~N

M

L

K

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

~(R • S) • ~(R • Q)

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

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

~[R ∨ (S • Q)]

~[R • (S • Q)]

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

~P

Q

~R

S

P

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

X ∨ Y

X • Y

~X ∨ ~Y

~X • ~Y

~(X ∨ Y)

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

~X • ~Y

~W ∨ ~Z

~X

~Z

~W

Quiz Content