Multiple Choice
1. ∼(∃x) [Fx • (Gx • Hx) ]
2. ∼(∃x) (Ix • ∼Fx)
-Which of the following propositions is an immediate (one-step) consequence in M of the given premises?
A) (∀x) ∼[Fx • (Gx • Hx) ]
B) Fx • (Gx • Hx)
C) Fa • (Ga • Ha)
D) (∃x) ∼[Fx • (Gx • Hx) ]
E) ∼(∀x) [Fx • (Gx • Hx) ]
Correct Answer:
Verified
Related Questions