1.

Consider the first-order logic sentence F: ∀x (∃ y R(x, y)). Assuming no-empty logical domains, which of the sentence below are implied by F?∃y (∃x R(x, y))∃y (∀x R(x, y))∀y (∃x R(x, y))¬ ∃x (∀y ¬ R(x, y))

A. IV only
B. I and IV only
C. II only
D. II and III only
Answer» C. II only


Discussion

No Comment Found