Quiz Content

not completed
. Consider assuming 'G' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. G ⊃ H
2. G ⊃ I

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. G ⊃ H
2. G ⊃ I

not completed
. Consider assuming 'J' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. J ⊃ K
2. ~J ∨ L
3. (K • L) ≡ M

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. J ⊃ K
2. ~J ∨ L
3. (K • L) ≡ M

not completed
. Consider assuming 'N ∨ P' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. ~(N ∨ O)
2. P ⊃ ~Q

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. ~(N ∨ O)
2. P ⊃ ~Q

not completed
. Consider assuming 'S' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. ~R ≡ S
2. T ⊃ R
3. ~(R ∨ T) ⊃ U

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. ~R ≡ S
2. T ⊃ R
3. ~(R ∨ T) ⊃ U

not completed
. Consider assuming 'A' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. A ⊃ (B ∨ C)
2. ~A ∨ (D ∨ E)
3. ~(C ∨ E)

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. A ⊃ (B ∨ C)
2. ~A ∨ (D ∨ E)
3. ~(C ∨ E)

not completed
. Consider assuming 'F' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. F ⊃ [(G ∨ H) ⊃ I]

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. F ⊃ [(G ∨ H) ⊃ I]

not completed
. Consider assuming 'J' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. J ⊃ (K ⊃ M)
2. L ∨ ~M
3. J ∨ (K • ~L)

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. J ⊃ (K ⊃ M)
2. L ∨ ~M
3. J ∨ (K • ~L)

not completed
. Consider assuming '~P' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. (N ⊃ O) ⊃ P
2. (~N ∨ O) ≡ (~Q ⊃ R)
3. R ∨ (S ⊃ Q)

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. (N ⊃ O) ⊃ P
2. (~N ∨ O) ≡ (~Q ⊃ R)
3. R ∨ (S ⊃ Q)

not completed
. Consider assuming '~X' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. X ⊃ (~Y ∨ Z)
2. ~X ⊃ (Y ∨ Z)
3. ~Z

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. X ⊃ (~Y ∨ Z)
2. ~X ⊃ (Y ∨ Z)
3. ~Z

not completed
. Consider assuming 'B' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?
1. A ≡ ~(B ∨ C)
2. ~D ≡ (A • E)
3. (D ⊃ B) • (E ⊃ B)

not completed
. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?
1. A ≡ ~(B ∨ C)
2. ~D ≡ (A • E)
3. (D ⊃ B) • (E ⊃ B)

Back to top