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))

Question

Examsnet · Accepted Answer

Correct Answer is : I and IV only

GATE Computer Science (CS) 2017 Shift 1 Solved Paper