Section 3.06 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)
2. ~A

B ≡ C correct incorrect

~(B ≡ C) correct incorrect

(A ≡ B) ≡ C correct incorrect

All of the above correct incorrect

Options B and C, but not option A correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. A ≡ (B ≡ C)
2. ~A

B ≡ C correct incorrect

~B ≡ C correct incorrect

A ≡ C correct incorrect

~A ≡ C correct incorrect

~A ≡ B correct incorrect

* not completed

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

D ≡ E correct incorrect

~D ≡ E correct incorrect

F ∨ ~(D ≡ E) correct incorrect

~~F correct incorrect

(D ≡ E) ∨ F correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. ~(D ≡ E) ∨ F
2. ~F

D ≡ E correct incorrect

~~(D ≡ E correct incorrect

~D ≡ E correct incorrect

F ≡ E correct incorrect

~F ≡ E correct incorrect

* not completed

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

~G ≡ ~~H correct incorrect

~H ≡ G correct incorrect

~(G ≡ ~H) correct incorrect

All of the above correct incorrect

Options A and B, but not option C correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. G ≡ ~H
2. G ⊃ I
3. ~I

G correct incorrect

H correct incorrect

I correct incorrect

All of the above 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. ~J ≡ (K ∨ L)
2. ~K
3. ~(L ∨ M)

J ≡ ~(K ∨ L) correct incorrect

J ≡ (K ∨ L) correct incorrect

(K ∨ L) ≡ ~J correct incorrect

~[J ≡ ~(K ∨ L)] correct incorrect

~J ≡ (K • L) correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. ~J ≡ (K ∨ L)
2. ~K
3. ~(L ∨ M)

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 • P)
2. P ⊃ Q
3. ~(R ∨ Q)

~N ≡ ~(O • P) correct incorrect

~N ≡ ~~(O • P) correct incorrect

(O • P) ≡ N correct incorrect

(~O • P) ≡ ~N correct incorrect

(N ≡ ~O) • (N ≡ P) correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. N ≡ ~(O • P)
2. P ⊃ Q
3. ~(R ∨ Q)

N correct incorrect

O correct incorrect

P correct incorrect

Q correct incorrect

R correct incorrect

* not completed

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

U ⊃ (S ≡ T) correct incorrect

U ⊃ (~T ≡ ~S) correct incorrect

~S ≡ ~~U correct incorrect

~U ≡ S correct incorrect

All of the above correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. U ⊃ (T ≡ S)
2. S ≡ ~U
3. ~S

~(T ≡ S) correct incorrect

~T ≡ S correct incorrect

S correct incorrect

~T correct incorrect

~U correct incorrect

* not completed

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

~(X ∨ Z) ≡ (W • Y) correct incorrect

(X ∨ Z) ≡ ~(W • Y) correct incorrect

~W ≡ ~Z correct incorrect

~~W ≡ ~Z correct incorrect

Z ≡~W correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. (X ∨ Z) ≡ (W • Y)v2. W ≡ ~Z
3. X

~(Z ∨ ~Y) correct incorrect

~(W ∨ ~Y) correct incorrect

~(X ∨ Z) correct incorrect

~(W ∨ Z) correct incorrect

~(~X ∨ Y) correct incorrect

* not completed

. 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 ≡ ~A

A ≡ C correct incorrect

~B ≡ ~C correct incorrect

B ≡ ~A correct incorrect

C ≡ ~A correct incorrect

~~C ≡ ~A correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. A ≡ B
2. B ≡ ~C
3. ~C ≡ ~A

A correct incorrect

B correct incorrect

C correct incorrect

D correct incorrect

All 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. ~E ≡ (F ⊃ G)
2. ~H ≡ E
3. H • ~G

E ≡ (F ⊃ G) correct incorrect

~[E ≡ (F ⊃ G)] correct incorrect

~E ≡ ~(F ⊃ G) correct incorrect

~(F ⊃ G) ≡ ~E correct incorrect

~E ≡ (G ⊃ F) correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. ~E ≡ (F ⊃ G)
2. ~H ≡ E
3. H • ~G

E correct incorrect

F correct incorrect

G correct incorrect

~H 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. I ≡ (J ∨ ~K)
2. ~K ≡ L
3. J ⊃ ~K

(I ≡ J) ∨ (I ≡ ~K) correct incorrect

I ≡ (J • ~K) correct incorrect

I ≡ (~K ∨ J) correct incorrect

K ≡ L correct incorrect

~(K ≡ ~L) correct incorrect

* not completed

. Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL?
1. I ≡ (J ∨ ~K)
2. ~K ≡ L
3. J ⊃ ~K

I ≡ L correct incorrect

I ≡ J correct incorrect

I ≡ K correct incorrect

J ≡ ~L correct incorrect

J ≡ ~K correct incorrect