Consider the first-order logic sentence F: ∀ x (&e

Please wait...
THANKU FOR BEING A PART OF OUR JOURNEY TO BRING "REVOLUTION IN EDUCATION"
We Genuinely APPRECIATE your PATIENCE

Coming Soon

28

M: +1.00/-0.33

Consider the first-order logic sentence

F: ∀ x (∃ y R(x,y)).

Assuming non-empty logical domains, which of the sentences below are implied by F?

I. ∃y (∃x R(x,y))

II. ∃y (∀x R(x,y))

III. ∀y (∃x R(x,y))

IV. ∼∃x (∀y ~R(x,y))

[GATE CS 2017 Set 1]

A IV only

B I and IV only

C II only

D II and III only