

MCQOPTIONS
Saved Bookmarks
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 | |