1. (∃x){Ex • Fx • (∀y)[(Ey • y≠x) ⊃ Gxy]}
2. En • ∼Fn
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?
A) En • Fn • (∀y)[(Ey • y≠n) ⊃ Gny]
B) Fn
C) Em • Fm • (∀y)[(Ey • y≠m) ⊃ Gmy]
D) Ex • Fx • (∀y)[(Ey • y≠x) ⊃ Gxy]
E) Em

Question

Quizplus · Accepted Answer

The Answer of 1. (∃x){Ex • Fx • (∀y)[(Ey • y≠x) ⊃ Gxy]}
2. En • ∼Fn
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?
A) En • Fn • (∀y)[(Ey • y≠n) ⊃ Gny]
B) Fn
C) Em • Fm • (∀y)[(Ey • y≠m) ⊃ Gmy]
D) Ex • Fx • (∀y)[(Ey • y≠x) ⊃ Gxy]
E) Em

1 (∃X){Ex • Fx • (∀Y)[(Ey • Y≠x) ⊃ Gxy]}