Section 3.01 Self Quiz

* not completed

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

~A ∨ ~B correct incorrect

~~C correct incorrect

C ∨ D correct incorrect

(A ∨ B) ⊃ D correct incorrect

D correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. (A ∨ B) ⊃ (C ∨ D)
2. A ∨ B
3. ~C

A correct incorrect

B correct incorrect

C correct incorrect

D correct incorrect

~A correct incorrect

* not completed

.

Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?

1. E ⊃ ~F

2. ~F ⊃ G

3. ~G

E ⊃ F correct incorrect

F ⊃ G correct incorrect

G ⊃ E correct incorrect

~F correct incorrect

~~F correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. E ⊃ ~F
2. ~F ⊃ G
3. ~G

E correct incorrect

~E correct incorrect

F correct incorrect

G correct incorrect

* not completed

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

J ∨ K correct incorrect

I ≡ ~J correct incorrect

~I correct incorrect

I ⊃ L correct incorrect

L correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. K ⊃ L
2. I ⊃ (J ∨ K)
3. I
4. ~J

~I correct incorrect

J correct incorrect

~K correct incorrect

L correct incorrect

* not completed

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

M correct incorrect

N correct incorrect

~M correct incorrect

~N ⊃ O correct incorrect

~M • ~N correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. M ∨ (~N ⊃ O)
2. P ∨ ~M
3. N ⊃ P
4. ~P

M correct incorrect

N correct incorrect

O correct incorrect

P correct incorrect

* not completed

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

T ⊃ (R • S) correct incorrect

T ∨ (R ⊃ S) correct incorrect

T • (R ⊃ S) correct incorrect

~(T • R) correct incorrect

S ⊃ (T • R) correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. (T • R) ∨ (Q ⊃ ~R)
2. (T • R) ⊃ S
3. ~~R
4. ~S

~Q correct incorrect

~R correct incorrect

S correct incorrect

~T correct incorrect

~T • ~R correct incorrect

* not completed

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

U ⊃ Z correct incorrect

U ∨ W correct incorrect

~W correct incorrect

Z ⊃ (X ≡ ~Y) correct incorrect

~(X ≡ ~Y) correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. U ⊃ W
2. W ⊃ (X ≡ ~Y)
3. (X ≡ ~Y) ⊃ Z
4. ~Z

~U correct incorrect

W correct incorrect

X correct incorrect

~Y correct incorrect

Z correct incorrect

* not completed

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

A correct incorrect

~A correct incorrect

B correct incorrect

~B correct incorrect

~B • ~C correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. A ⊃ (B • C)
2. ~(B • C)
3. A ∨ (D ∨ B)

A ∨ B correct incorrect

B ∨ C correct incorrect

C ∨ ~B correct incorrect

D ∨ B correct incorrect

D correct incorrect

* not completed

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

E ⊃ F correct incorrect

F ⊃ G correct incorrect

H ⊃ ~E correct incorrect

I ⊃ H correct incorrect

~H correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. ~E ⊃ ~F
2. G ⊃ F
3. H ∨ ~E
4. H ⊃ I
5. ~I

E correct incorrect

F correct incorrect

~G correct incorrect

H correct incorrect

I correct incorrect

* not completed

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

~L correct incorrect

J ≡ K correct incorrect

I ⊃ (L ∨ M) correct incorrect

~L ⊃ (J ≡ K) correct incorrect

None of the above correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. I ⊃ (J ≡ K)
2. (J ≡ K) ⊃ (L ∨ M)
3. I ⊃ ~L
4. I

J correct incorrect

K correct incorrect

L correct incorrect

M correct incorrect

None of the above correct incorrect

* not completed

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

P correct incorrect

N ⊃ ~O correct incorrect

O ∨ Q correct incorrect

~P correct incorrect

All of the above correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
1. (N ⊃ ~O) ⊃ (O ∨ Q)
2. P ⊃ (N ⊃ ~O)
3. N ⊃ P
4. N

~N correct incorrect

~P correct incorrect

O correct incorrect

Q correct incorrect

~Q correct incorrect