Quiz Content

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

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

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

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

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

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

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

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

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

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

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

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

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)

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)

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

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

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

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

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

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

Back to top