1 (∀X)[(Px $\lor$ Qx)] ⊃ Rxx]
2 $\lor$

Multiple Choice

1. (∀x) [(Px $\lor$ Qx) ] ⊃ Rxx]
2. (∀x) {Qx ⊃ [(∃y) Rxy ⊃ Sxx]}
3. Pn • Qn
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?

A) Qn
B) (Px $\lor$ Qx) ⊃ Rnn
C) Qn ⊃ [(∃y) Rny ⊃ Sxx]
D) (∀x) [Qx ⊃ (Rxy ⊃ Sxx) ]
E) Pn