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

Question

Quizplus · Accepted Answer

The Answer of 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

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

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