1 P ≡ Q
2 $\lor$ (Q ⊃ P)
C) (P • Q) • (∼P •

Multiple Choice

1. P ≡ Q
2. ∼Q
-Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?

A) (P ⊃ Q) • (Q ⊃ P)
B) (P ⊃ Q) $\lor$ (Q ⊃ P)
C) (P • Q) • (∼P • ∼Q)
D) (P $\lor$ Q) • (∼P $\lor$ ∼Q)
E) ∼P ≡ Q