Section 3.02 Self Quiz

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

A

~A

B

~B

C

. Which of the following propositions is derivable from the given premises using the rules available through section 3.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. A ∨ B
2. ~A • C

A • B

B • D

B ∨ D

C • A

~B • ~C

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

F ⊃ E

~G ∨ F

G

~G

F

. Which of the following propositions is derivable from the given premises using the rules available through section 3.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. E ⊃ F
2. G ∨ ~F
3. ~G • H

E ∨ H

F ∨ H

G ∨ H

~E ∨ H

F • H

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

J ∨ K

K ∨ L

L ∨ J

K ⊃ I

~L

. Which of the following propositions is derivable from the given premises using the rules available through section 3.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. I ⊃ J
2. J ⊃ K
3. L ∨ I
4. ~L • J

K • L

I • ~J

I • L

K • I

~J • K

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

M

~M

N

~N

~O

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

M • N

M • ~O

N • ~O

N • ~~O

~N • M

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

A

B

C

D

E

. Which of the following propositions is derivable from the given premises using the rules available through section 3.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. A ⊃ B
2. C ⊃ D
3. A • E

A ⊃ D

B ∨ D

B ⊃ A

D ⊃ C

A • D

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

H ⊃ I

F ∨ G

G • I

F

~I

. Which of the following propositions is derivable from the given premises using the rules available through section 3.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. (~F ∨ G) ⊃ (H ⊃ I)
2. F ⊃ I
3. ~I • G

F

G

~H

I

None of the above

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

K

L

~L

J • ~K

L ⊃ J

. Which of the following propositions is derivable from the given premises using the rules available through section 3.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. (J • ~K) ⊃ L
2. K ∨ ~L
3. ~K
4. ~J ⊃ (J • ~K)

J • K

~~J • ~K

~~J • ~~L

K • L

~K • ~~L

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

M ∨ N

M ∨ O

N ∨ O

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.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. L ⊃ M
2. M ⊃ N
3. M ⊃ O
4. L ∨ M

L ⊃ N

L ⊃ O

N ∨ O

All of the above

Options A and B, but not option C

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

F ⊃ (H ⊃ I)

I ⊃ G

G

All of the above

Options B and C, but not option A

. Which of the following propositions is derivable from the given premises using the rules available through section 3.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. F ⊃ G
2. G ⊃ (H ⊃ I)
3. F
4. I ⊃ F

H ⊃ F

G ⊃ F

I ⊃ F

All of the above

Options A and B, but not option C

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

B

A ⊃ C

B ⊃ (D • E)

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.2 (MP, MT, DS, HS, Add, Conj, Simp, CD)?
1. A ⊃ B
2. B ⊃ C
3. C ⊃ (D • E)
4. A

A • (D ⊃ E)

B • (C ⊃ E)

C • (D ⊃ A)

D • (A ⊃ C)

E • (B ⊃ A)

Quiz Content